The following pages link to (Q4281488):
Displaying 10 items.
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Developing developments (Q1392147) (← links)
- Nominal rewriting (Q2373703) (← links)
- Development closed critical pairs (Q4645811) (← links)
- Confluence and superdevelopments (Q5055793) (← links)
- More problems in rewriting (Q5055812) (← links)
- Problems in rewriting III (Q5055847) (← links)
