Pages that link to "Item:Q3006163"
From MaRDI portal
The following pages link to Extending the lambda-calculus with unbind and rebind (Q3006163):
Displaying 6 items.
- Incremental rebinding with name polymorphism (Q737082) (← links)
- A lambda-calculus for dynamic binding (Q1127514) (← links)
- Adding algebraic rewriting to the untyped lambda calculus (Q1207945) (← links)
- Type safe incremental rebinding (Q2971056) (← links)
- Extending the lambda-calculus with unbind and rebind (Q3006163) (← links)
- (Q4580225) (← links)