Linear types and picalculus (1996)

by N Kobayashi, B C Pierce, D N Turner
Venue:In 23rd ACM Symposium on Principles of Programming Languages (POPL'96