Detail

Publication date: 01/01/2014

Linearity, session types and the pi calculus

Authors

Marco Giunti, Vasco Vasconcelos,

Journal Mathematical Structures in Computer Science
Publisher Universitat Politècnica de Catalunya
Journal Mathematical Structures in Computer Science
Publisher Universitat Politècnica de Catalunya