The π-calculus as a theory in linear logic: Preliminary results (1993)

by Dale Miller
Venue:3rd Workshop on Extensions to Logic Programming, LNCS 660
Citations:101 - 17 self

Active Bibliography

The Pi-Calculus as a Theory in Linear Logic – Dale Miller - 1992
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
86 A Multiple-Conclusion Meta-Logic – Dale Miller - 1994
85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
86 Modularity In Logic Programming – Michele Bugliesi, Evelina Lamma, Paola Mello - 1993
69 A Uniform Proof-Theoretic Investigation Of Linear Logic Programming – J.A. Harland, D. J. Pym - 1994
4 A Proposal for Modules in λProlog – Dale Miller - 1993
3 A Proposal for Modules in λProlog – Dale Miller - 1993
7 Higher-Order Quantification and Proof Search – Dale Miller - 2002
3 A Linear Logic Specification for Chimera – Marco Bozzano, Giorgio Delzanno, Maurizio Martelli - 1997
4 A Survey of Linear Logic Programming – Dale Miller - 1995
7 An Overview of Linear Logic Programming – Dale Miller - 1985
4 Representing Scope in Intuitionistic Deductions – Matthew Stone - 1997
30 Higher-Order Concurrent Linear Logic Programming – Naoki Kobayashi, Akinori Yonezawa - 1995
A Proposal for Modules in λProlog: Preliminary Draft – Dale Miller
1 Indefinite Information in Modal Logic Programming – Matthew Stone - 1999
36 Modality in Dialogue: Planning, Pragmatics and Computation – Matthew Stone - 1998