An abstract framework for environment machines (Q804281)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An abstract framework for environment machines |
scientific article; zbMATH DE number 4201608
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An abstract framework for environment machines |
scientific article; zbMATH DE number 4201608 |
Statements
An abstract framework for environment machines (English)
0 references
1991
0 references
This paper developes a calculus of classes, i.e. a formalism to handle \(\lambda\)-terms with substitutions. It is shown that machines with environment (Krivine's machine and the CAM) essentially corresponds to different strategies for normalizing closures (call by name, call by value). Simple typed closures are also considered and a categorical point of view is sketched.
0 references
environment machines
0 references
\(\lambda \) -calculus
0 references
0 references
