Documents Related by Co-Citation

696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
15 A Simplified Account of the Metatheory of Linear LF – Joseph Vanderwaart, Joseph C. V, Karl Crary - 2002
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
83 On Equivalence and Canonical Forms in the LF Type Theory – Robert Harper, Frank Pfenning - 2001
114 A unification algorithm for typed λ-calculus – G Huet - 1975
107 An algorithm for testing conversion in Type Theory – Thierry Coquand - 1991
42 Proof Theoretic Approach To Specification Languages – Jawahar Lal Chirimar - 1995
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
854 A formulation of the simple theory of types – Alonzo Church - 1940
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
18 A linear logical framework. Information and Computation – Iliano Cervesato, Frank Pfenning - 1998
85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
101 The π-calculus as a theory in linear logic: Preliminary results – Dale Miller - 1993
89 Dual intuitionistic linear logic – A Barber, G Plotkin - 1997
32 Mode and Termination Checking for Higher-Order Logic Programs – Ekkehard Rohwedder, Frank Pfenning - 1996