Dependent session types via intuitionistic linear type theory.

Bernardo Toninho, Lus Caires, Frank Pfenning

Browse the full PPDP paper archive.