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

303 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
373 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
331 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
614 Light Linear Logic – Jean-yves Girard
695 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
287 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
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
560 Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39 – G Gentzen - 1935
845 A Formulation of the Simple Theory of Types – A 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