Documents Related by Co-Citation

697 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
303 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
852 A formulation of the simple theory of types – A Church - 1940
375 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
107 An algorithm for testing conversion in type theory – T Coquand - 1991
115 A unification algorithm for typed λ-calculus – G Huet - 1975
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
42 Proof Theoretic Approach To Specification Languages – Jawahar Lal Chirimar - 1995
314 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
288 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
282 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
18 A linear logical framework. Information and Computation – Iliano Cervesato, Frank Pfenning - 1998
15 A Simplified Account of the Metatheory of Linear LF – Joseph Vanderwaart, Joseph C. V, Karl Crary - 2002
85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
102 The π-calculus as a theory in linear logic: Preliminary results – Dale Miller - 1993
89 Dual intuitionistic linear logic – A Barber - 1996
83 On Equivalence and Canonical Forms in the LF Type Theory – Robert Harper, Frank Pfenning - 2001
161 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999