The following pages link to Explicit cyclic substitutions (Q5881174):
Displaying 7 items.
- Lambda calculus with explicit recursion (Q1383145) (← links)
- Primal-circular substitutions (Q1687466) (← links)
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Term graph rewriting (Q4645801) (← links)
- Combinatory reduction systems with explicit substitution that preserve strong normalisation (Q5055859) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)