Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365)
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: Choices in representation and reduction strategies for lambda terms in intensional contexts |
scientific article; zbMATH DE number 5119145
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Choices in representation and reduction strategies for lambda terms in intensional contexts |
scientific article; zbMATH DE number 5119145 |
Statements
Choices in representation and reduction strategies for lambda terms in intensional contexts (English)
0 references
29 January 2007
0 references
explicit substitution
0 references
implementation
0 references
lambda calculus
0 references
lambda conversion
0 references
0 references
0.8367979
0 references
0.82876086
0 references
0.8230158
0 references
0.82249373
0 references
0.81885564
0 references
