Pages that link to "Item:Q4168908"
From MaRDI portal
The following pages link to Reductions of Residuals are Finite (Q4168908):
Displayed 7 items.
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Developing developments (Q1392147) (← links)
- The Church-Rosser theorem and quantitative analysis of witnesses (Q1627965) (← links)
- Standard and Normal Reductions (Q4177543) (← links)
- Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction (Q5178963) (← links)
- Levy Labels and Recursive Types (Q5283442) (← links)
- The bang calculus revisited (Q6116183) (← links)