Pages that link to "Item:Q732008"
From MaRDI portal
The following pages link to A direct proof of the confluence of combinatory strong reduction (Q732008):
Displaying 8 items.
- Compositional Z: confluence proofs for permutative conversion (Q514511) (← links)
- A solution to Curry and Hindley's problem on combinatory strong reduction (Q1014284) (← links)
- Barendregt's problem \#26 and combinatory strong reduction (Q2104281) (← links)
- Strong reduction of combinatory calculus with streams (Q2352459) (← links)
- The Church Rosser theorem for strong reduction in combinatory logic (Q2537972) (← links)
- A compiled implementation of strong reduction (Q2949209) (← links)
- Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (Q3305634) (← links)
- On confluence for weakly normalizing systems (Q5055761) (← links)