A Multiple-Conclusion Meta-Logic (1994)

by Dale Miller
Venue:In Proceedings of 9th Annual IEEE Symposium On Logic In Computer Science
Citations:86 - 7 self

Documents Related by Co-Citation

306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
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
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
69 A Uniform Proof-Theoretic Investigation Of Linear Logic Programming – J.A. Harland, D. J. Pym - 1994
616 Light Linear Logic – Jean-yves Girard
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
46 ACL - A Concurrent Linear Logic Programming Paradigm – Naoki Kobayashi, Akinori Yonezawa - 1993
50 Logic Programming in Intuitionistic Linear Logic: Theory, Design and Implementation – J S Hodas - 1994
176 An overview of -prolog – D Miller, G Nadathur - 1988
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
565 Untersuchungen über das logische Schließen – G Gentzen - 1935
854 A formulation of the simple theory of types – Alonzo Church - 1940
147 A logical analysis of modules in logic programming – Dale Miller - 1989
85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
7 A Note on the Implementation and Applications of Linear Logic Programming Languages – J.A. Harland, D. J. Pym - 1994
46 The Uniform Proof-theoretic Foundation of Linear Logic Programming (Extended Abstract) – James Harland, David Pym - 1991
14 Deterministic Resource Management for the Linear Logic Programming Language Lygon – Michael Winikoff , James Harland - 1994