Linear logic propositions as session types

Luis Caires, Frank Pfenning, Bernardo Toninho,

Journal	Mathematical Structures in Computer Science
Publisher	Universitat Politècnica de Catalunya
Volume	26
Number	3
Journal	Mathematical Structures in Computer Science
Publisher	Universitat Politècnica de Catalunya
Volume	26
Number	3

Publication