Pages that link to "Item:Q1786610"
From MaRDI portal
The following pages link to A proof of the leftmost reduction theorem for \(\lambda\beta\eta\)-calculus (Q1786610):
Displaying 9 items.
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\) (Q1322474) (← links)
- \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule (Q1349744) (← links)
- Fundamental theorems of extensional untyped \(\lambda\)-calculus revisited (Q1650330) (← links)
- New proofs of important theorems of untyped extensional \(\lambda\) calculus (Q2263308) (← links)
- (Q3122094) (← links)
- Proving the genericity lemma by leftmost reduction is simple (Q5055836) (← links)
- Parallel reductions in \(\lambda\)-calculus (Q5917605) (← links)
- Factorization and normalization, essentially (Q6536313) (← links)
