Execution time of λ-terms via denotational semantics and intersection types (Q4577984)
From MaRDI portal
scientific article; zbMATH DE number 6914144
Language | Label | Description | Also known as |
---|---|---|---|
English | Execution time of λ-terms via denotational semantics and intersection types |
scientific article; zbMATH DE number 6914144 |
Statements
Execution time of λ-terms via denotational semantics and intersection types (English)
0 references
7 August 2018
0 references
lambda calculus
0 references
denotational semantics
0 references
intersection types
0 references