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 13 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Confluence of the lambda calculus with left-linear algebraic rewriting (Q1197987) (← links)
- Adding algebraic rewriting to the untyped lambda calculus (Q1207945) (← links)
- Polymorphic rewriting conserves algebraic confluence (Q1336046) (← links)
- Combining algebraic rewriting, extensional lambda calculi, and fixpoints (Q1349901) (← links)
- Proof of termination of the rewriting system SUBSET on CCL (Q1822494) (← links)
- More problems in rewriting (Q5055812) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved (Q5881282) (← links)
- A simplifier for untyped lambda expressions (Q5881291) (← links)
- Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules (Q6079228) (← links)