Publication
Detail
Publication date: 01/03/2016Linear logic propositions as session types
| 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 |