The following pages link to (Q3024846):
Displaying 6 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- On explicit substitutions and names (extended abstract) (Q4571957) (← links)
- Problems in rewriting III (Q5055847) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)