Proof Theory as an Alternative to Model Theory
Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.

	Keyword	Results for this URL	Total searches