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:102 - 17 self

Documents Related by Co-Citation

303 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
207 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
263 Investigations into logical deduction – G Gentzen - 1969
996 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
216 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
31 Normal process representatives – V Gehlot, C Gunter - 1990
375 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
852 A formulation of the simple theory of types – A Church - 1940
697 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
619 Light Linear Logic – Jean-yves Girard
67 From Petri nets to linear logic – N Martí-Oliet, J Meseguer - 1991
65 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 - 1996
46 ACL - A Concurrent Linear Logic Programming Paradigm – Naoki Kobayashi, Akinori Yonezawa - 1993
163 Interaction nets – Y Lafont - 1990