Linear Types and pi-calculus (1996)

by Naoki Kobayashi, Benjamin Pierce, David Turner
Venue:In: POPL