Higher-Order Processes, Functions, and Sessions: A Monadic Integration (Q5326295)
From MaRDI portal
scientific article; zbMATH DE number 6194803
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher-Order Processes, Functions, and Sessions: A Monadic Integration |
scientific article; zbMATH DE number 6194803 |
Statements
Higher-Order Processes, Functions, and Sessions: A Monadic Integration (English)
0 references
5 August 2013
0 references
