Linearity and the Pi-Calculus.

Naoki Kobayashi, Benjamin C. Pierce, David N. Turner

Browse the full POPL paper archive.