Pages that link to "Item:Q1207945"
From MaRDI portal
The following pages link to Adding algebraic rewriting to the untyped lambda calculus (Q1207945):
Displayed 8 items.
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- A domain model characterising strong normalisation (Q958484) (← links)
- Abstract data type systems (Q1391729) (← links)
- Normal forms in combinatory logic (Q1903133) (← links)
- Nominal rewriting (Q2373703) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
- The Computability Path Ordering: The End of a Quest (Q3540166) (← links)
- Total unfolding: theory and applications (Q4764611) (← links)