Denotational aspects of untyped normalization by evaluation (Q5313717)
From MaRDI portal
scientific article; zbMATH DE number 2201286
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Denotational aspects of untyped normalization by evaluation |
scientific article; zbMATH DE number 2201286 |
Statements
Denotational aspects of untyped normalization by evaluation (English)
0 references
1 September 2005
0 references
untyped \(\lambda\)-calculus
0 references
denotational semantics
0 references
functional programming
0 references
computational adequacy
0 references
normalization-by-evaluation construction
0 references
Böhm trees
0 references
