Documents Related by Co-Citation

374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
147 A logical analysis of modules in logic programming – Dale Miller - 1989
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
101 The π-calculus as a theory in linear logic: Preliminary results – Dale Miller - 1993
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
262 Investigations into logical deduction – G Gentzen - 1969
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
565 Untersuchungen über das logische Schließen – G Gentzen - 1935
616 Light Linear Logic – Jean-yves Girard
29 Permutability of inferences in Gentzen’s calculi LK and LJ – S C Kleene - 1952
854 A formulation of the simple theory of types – Alonzo Church - 1940
83 Using Typed Lambda Calculus to Implement Formal Systems on a Machine – Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack - 1992
85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
42 Proof Theoretic Approach To Specification Languages – Jawahar Lal Chirimar - 1995
64 Lexical scoping as universal quantification – Dale Miller - 1989
66 Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language – Amy Felty - 1993
18 Extended natural semantics – J Hannan - 1993