Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Choices in representation and reduction strategies for lambda terms in intensional contexts |
scientific article |
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
