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

Document Versions

The π-calculus as a theory in linear logic: Preliminary results –Dale Miller — 1993 — 3rd Workshop on Extensions to Logic Programming, LNCS 660
The pi-Calculus as a Theory in Linear Logic: Preliminary Results –Dale Miller — 1992