Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract (1991)

by Joshua S. Hodas , Dale Miller
Venue:In Kahn, G. (Ed.), Sixth Annual Symposium on Logic in Computer Science
Citations:283 - 36 self

Documents Related by Co-Citation

335 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
201 Linear Objects: logical processes with built-in inheritance – Jean-marc Andreoli, Remo Pareschi
290 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
136 A logical analysis of modules in logic programming. The – Dale Miller - 1989
99 The π-calculus as a theory in linear logic: Preliminary results – Dale Miller - 1993
272 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
209 Investigations into logical deduction – G Gentzen - 1969
62 Lexical scoping as universal quantification – Dale Miller - 1989
541 Light Linear Logic – Jean-yves Girard
29 Permutabilities of inferences in Gentzen’s calculi LK and LJ – S C Kleene - 1952
75 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
493 Untersuchungen über das logische Schließen – G Gentzen - 1935
44 Communication as Fair Distribution of Knowledge – Jean-marc Andreoli, Remo Pareschi - 1991
46 ACL - A Concurrent Linear Logic Programming Paradigm – Naoki Kobayashi, Akinori Yonezawa - 1993
150 Interaction nets – Y Lafont - 1990
23 Logical Objects – J S Conery - 1988
406 The mathematics of sentence structure – J Lambek - 1958
840 Generative communication in Linda – David Gelernter - 1985
258 The family of concurrent logic programming languages – E Y Shapiro - 1989