Pages that link to "Item:Q5881282"
From MaRDI portal
The following pages link to Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved (Q5881282):
Displaying 5 items.
- Polymorphic rewriting conserves algebraic strong normalization (Q1176244) (← links)
- Variants of the basic calculus of constructions (Q1885480) (← links)
- The Computability Path Ordering: The End of a Quest (Q3540166) (← links)
- Modularity of termination and confluence in combinations of rewrite systems with λω (Q4630300) (← links)
- Adding algebraic rewriting to the untyped lambda calculus (extended abstract) (Q5055747) (← links)