Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus (Q5111914)
From MaRDI portal
scientific article; zbMATH DE number 7205341
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus |
scientific article; zbMATH DE number 7205341 |
Statements
27 May 2020
0 references
simply typed lambda-calculus
0 references
computational complexity
0 references
denotational semantics
0 references
intersection types
0 references
Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus (English)
0 references
