Pages that link to "Item:Q2016071"
From MaRDI portal
The following pages link to A simplified proof of the Church-Rosser theorem (Q2016071):
Displaying 6 items.
- Compositional Z: confluence proofs for permutative conversion (Q514511) (← links)
- Reduction rules for intuitionistic \(\lambda\rho\)-calculus (Q897480) (← links)
- A formal system of reduction paths for parallel reduction (Q1989338) (← links)
- Strong reduction of combinatory calculus with streams (Q2352459) (← links)
- Z property for the shuffling calculus (Q5879272) (← links)
- Is sized typing for Coq practical? (Q6099202) (← links)
