Pages that link to "Item:Q1158139"
From MaRDI portal
The following pages link to An efficient interpreter for the lambda-calculus (Q1158139):
Displaying 4 items.
- Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365) (← links)
- Complexity of the combinator reduction machine (Q1075052) (← links)
- A notation for lambda terms. A generalization of environments (Q1129257) (← links)
- Higher-order substitutions (Q1854398) (← links)
