Cites work
- An abstract Church-Rosser theorem. II: Applications
- An Abstract form of the church-rosser theorem. I
- Combinatory logic. Vol. II
- Combinatory logic. With two sections by William Craig.
- scientific article; zbMATH DE number 3504962 (Why is no real title available?)
- scientific article; zbMATH DE number 3423994 (Why is no real title available?)
- Some Properties of Conversion
- Standard and Normal Reductions
- The Equivalence of Complete Reductions
Cited in
(8)- Perpetual reductions in -calculus
- Developing developments
- The Church-Rosser theorem and quantitative analysis of witnesses
- Standard and Normal Reductions
- Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction
- Levy labels and recursive types
- The bang calculus revisited
- Factorize factorization
This page was built for publication: Reductions of Residuals are Finite
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4168908)
