The following pages link to Explicit environments (Q2708319):
Displaying 9 items.
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Simply typed lambda calculus with first-class environments (Q1894315) (← links)
- An action environment (Q2499823) (← links)
- The Korrigan environment (Q2709215) (← links)
- Functional programming with higher-order abstract syntax and explicit substitutions (Q2866332) (← links)
- (Q4263880) (← links)
- Constructing Vague Environment (Q4930975) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)
- Counting environments and closures (Q4993337) (← links)