Linearity and the pi-calculus (1996)

by N Kobayashi, B C Pierce, D N Turner
Venue:Proceedings of the ACM Symposium on Principles of Programming Languages