Pages that link to "Item:Q1014284"

The following pages link to A solution to Curry and Hindley's problem on combinatory strong reduction (Q1014284):

Displaying 3 items.

• A direct proof of the confluence of combinatory strong reduction (Q732008) (← links)
• Strong reduction of combinatory calculus with streams (Q2352459) (← links)
• Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (Q3305634) (← links)