Simple Parsimonious Types and Logarithmic Space (Q5351948)
From MaRDI portal
scientific article; zbMATH DE number 6767586
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simple Parsimonious Types and Logarithmic Space |
scientific article; zbMATH DE number 6767586 |
Statements
31 August 2017
0 references
implicit computational complexity
0 references
linear logic
0 references
geometry of interaction
0 references
Simple Parsimonious Types and Logarithmic Space (English)
0 references
