A quantitative model for simply typed λ-calculus (Q5875894)
From MaRDI portal
scientific article; zbMATH DE number 7650542
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A quantitative model for simply typed λ-calculus |
scientific article; zbMATH DE number 7650542 |
Statements
A quantitative model for simply typed λ-calculus (English)
0 references
6 February 2023
0 references
resource monoid
0 references
length spaces
0 references
quantitative semantics
0 references
lambda-calculus
0 references
