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

by D Miller
Venue:In ELP, E. Lamma and P. Mello, Eds. Lecture Notes in Computer Science