Pages that link to "Item:Q884953"
From MaRDI portal
The following pages link to Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953):
Displaying 6 items.
- A solution to Curry and Hindley's problem on combinatory strong reduction (Q1014284) (← links)
- \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule (Q1349744) (← links)
- Fundamental theorems of extensional untyped \(\lambda\)-calculus revisited (Q1650330) (← links)
- A proof of the leftmost reduction theorem for \(\lambda\beta\eta\)-calculus (Q1786610) (← links)
- Analytic combinatory calculi and the elimination of transitivity (Q1879319) (← links)
- Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (Q3305634) (← links)
