Documents Related by Co-Citation

634 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
283 Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract – Joshua S. Hodas, Dale Miller - 1991
335 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
272 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
15 A Simplified Account of the Metatheory of Linear LF – Joseph Vanderwaart, Joseph C. V, Karl Crary - 2002
99 The π-calculus as a theory in linear logic: Preliminary results – Dale Miller - 1993
290 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
78 On Equivalence and Canonical Forms in the LF Type Theory – Robert Harper, Frank Pfenning - 2001
84 Reasoning with higher-order abstract syntax in a logical framework – R McDowell, D Miller - 2002
103 An algorithm for testing conversion in type theory – Thierry Coquand - 1990
172 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
39 Proof Theoretic Approach To Specification Languages – Jawahar Lal Chirimar - 1995
281 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
728 A formulation of the simple theory of types – A Church - 1940
271 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
17 F.: A linear logical framework. Information and Computation – I Cervesato, Pfenning - 1998
49 Logic Programming in Intuitionistic Linear Logic – J Hodas - 1994
75 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
25 Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic – Jeff Polakow, Frank Pfenning - 1999