The pi-calculus as a theory in linear logic: Preliminary results (1992)

by D Miller
Venue:In Extensions to Logic Programming, LNCS