The following pages link to (Q4850465):
Displaying 8 items.
- A direct proof of the confluence of combinatory strong reduction (Q732008) (← links)
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- A syntactic proof of the conservativity of \(\lambda_\omega\) over \(\lambda_2\) (Q1288430) (← links)
- Normalization without reducibility (Q1840460) (← links)
- Parametric parameter passing \(\lambda\)-calculus (Q1887148) (← links)
- The mechanisation of Barendregt-style equational proofs (the residual perspective) (Q2841232) (← links)
- (Q3982064) (← links)
- Some properties of the -calculus (Q4583170) (← links)
