Pages that link to "Item:Q1778107"
From MaRDI portal
The following pages link to Lambda-calculus with director strings (Q1778107):
Displaying 8 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Capturing strong reduction in director string calculus (Q1208420) (← links)
- Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
- On explicit substitution with names (Q2392486) (← links)
- Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting (Q3025334) (← links)
- (Q4447222) (← links)
- Storage operators and directed lambda-calculus (Q4876311) (← links)
- New Developments in Environment Machines (Q5170161) (← links)