Linearity and the picalculus. (1999)

by Naoki Kobayashi, Benjamin C Pierce, David N Turner
Venue:ACM Transactions on Programming Languages and Systems,