Publication
Detail
Publication date: 01/01/2014Linearity, session types and the pi calculus
Journal | Mathematical Structures in Computer Science |
---|---|
Publisher | Universitat Politècnica de Catalunya |
Journal | Mathematical Structures in Computer Science |
Publisher | Universitat Politècnica de Catalunya |