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

by Dale Miller
Venue:3rd Workshop on Extensions to Logic Programming, LNCS 660