Pages that link to "Item:Q884953"

The following pages link to Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953):

Displaying 2 items.

• A solution to Curry and Hindley's problem on combinatory strong reduction (Q1014284) (← links)
• Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (Q3305634) (← links)