The following pages link to (Q4222804):
Displayed 7 items.
- Lambda calculus with patterns (Q930865) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Nominal rewriting (Q2373703) (← links)
- Minimality in a Linear Calculus with Iteration (Q2873683) (← links)
- The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)