Pages that link to "Item:Q1879319"
From MaRDI portal
The following pages link to Analytic combinatory calculi and the elimination of transitivity (Q1879319):
Displaying 5 items.
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- A solution to Curry and Hindley's problem on combinatory strong reduction (Q1014284) (← links)
- Combinatory completeness without classical equality (Q1100189) (← links)
- Analytic calculi for monadic PNmatrices (Q2303582) (← links)
- Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (Q3305634) (← links)