Pages that link to "Item:Q1127334"
From MaRDI portal
The following pages link to Higher-order rewrite systems and their confluence (Q1127334):
Displayed 6 items.
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- Higher-order substitutions (Q1854398) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Nominal rewriting (Q2373703) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Inductive-data-type systems (Q5958292) (← links)