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

Documents Related by Co-Citation

306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
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
42 Proof Theoretic Approach To Specification Languages – Jawahar Lal Chirimar - 1995
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
262 Investigations into logical deduction – G Gentzen - 1969
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
616 Light Linear Logic – Jean-yves Girard
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
31 Normal process representatives – V Gehlot, C Gunter - 1990
854 A formulation of the simple theory of types – Alonzo Church - 1940
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
67 From Petri Nets to Linear Logic – N Marti-Oliet, J Meseguer - 1991
64 Lexical scoping as universal quantification – Dale Miller - 1989
68 A proof-theoretic approach to logic programming. II. Programs as definitions – L Hallnäs, P Schroeder-Heister - 1991
85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
89 Dual intuitionistic linear logic – A Barber, G Plotkin - 1997
163 Interaction nets – Y Lafont - 1990
46 ACL - A Concurrent Linear Logic Programming Paradigm – Naoki Kobayashi, Akinori Yonezawa - 1993