articles
Detail
Publication date: 1 de June, 2021Publication Linear logic propositions as session types – Journal Mathematical Structures in Computer Science
| Journal | Mathematical Structures in Computer Science |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 26 |
| Number | 3 |
| Pub. Date | 01/03/2016 |