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

Active Bibliography

The Pi-Calculus as a Theory in Linear Logic – Dale Miller - 1992
302 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
Sequent Calculus and the Specification of Computation Lecture Notes – C Dale Miller, Pond Lab - 2001
766 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
811 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1096 Proof-Carrying Code – George C. Necula - 1997
152 Higher-order logic programming – Gopalan Nadathur, Dale Miller
453 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
Abstract – Joshua S. Hodas, Dale Miller