Pages that link to "Item:Q5532527"
From MaRDI portal
The following pages link to Strong reduction and normal form in combinatory logic (Q5532527):
Displayed 5 items.
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- A solution to Curry and Hindley's problem on combinatory strong reduction (Q1014284) (← links)
- Normal forms in combinatory logic (Q1903133) (← links)
- Higher-order unification via combinators (Q2367541) (← links)
- Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (Q3305634) (← links)