Linearity and the pi-calculus (1996)

by N Kobayashi, B C Pierce, D N Turner
Venue:In Principles of Programming Languages Symposium (POPL 1996), St. Petersburg Beach, FL