Linearity, session types and the Pi calculus (Q5741562)
From MaRDI portal
scientific article; zbMATH DE number 6607278
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linearity, session types and the Pi calculus |
scientific article; zbMATH DE number 6607278 |
Statements
Linearity, session types and the Pi calculus (English)
0 references
28 July 2016
0 references
