Polarized Substructural Session Types.

Frank Pfenning, Dennis Griffith

Browse the full FOSSACS paper archive.