The following pages link to (Q4281481):
Displaying 14 items.
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← links)
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Reduction and unification in lambda calculi with a general notion of subtype (Q1340967) (← links)
- Developing developments (Q1392147) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Higher-order substitutions (Q1854398) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Development closed critical pairs (Q4645811) (← links)
- Confluence and superdevelopments (Q5055793) (← links)
- Higher-order families (Q5055875) (← links)
- Relative normalization in Deterministic Residual Structures (Q5878909) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
- Minimal relative normalization in orthogonal expression reduction systems (Q6567775) (← links)
