Pages that link to "Item:Q5055747"
From MaRDI portal
The following pages link to Adding algebraic rewriting to the untyped lambda calculus (extended abstract) (Q5055747):
Displaying 5 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Confluence of the lambda calculus with left-linear algebraic rewriting (Q1197987) (← links)
- More problems in rewriting (Q5055812) (← links)
- Problems in rewriting III (Q5055847) (← links)
