Pages that link to "Item:Q1197987"
From MaRDI portal
The following pages link to Confluence of the lambda calculus with left-linear algebraic rewriting (Q1197987):
Displaying 6 items.
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Modular properties of algebraic type systems (Q4645803) (← links)
- More problems in rewriting (Q5055812) (← links)
- Problems in rewriting III (Q5055847) (← links)
