Session Types as Intuitionistic Linear Propositions.

Lus Caires, Frank Pfenning

Browse the full CONCUR paper archive.