Reductions of Residuals are Finite

DOI10.2307/1998825zbMATH Open0387.03007OpenAlexW4232671006MaRDI QIDQ4168908FDOQ4168908

Authors Roger Hindley 

Publication date 1978

Full work available at URL https://doi.org/10.2307/1998825

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• scientific article; zbMATH DE number 3504962 (Why is no real title available?)
• scientific article; zbMATH DE number 3423994 (Why is no real title available?)
• An Abstract form of the church-rosser theorem. I
• An abstract Church-Rosser theorem. II: Applications
• Combinatory logic. Vol. II
• Combinatory logic. With two sections by William Craig.
• Some Properties of Conversion
• Standard and Normal Reductions
• The Equivalence of Complete Reductions

Cited In (7)

• The Church-Rosser theorem and quantitative analysis of witnesses
• Perpetual reductions in \(\lambda\)-calculus
• Standard and Normal Reductions
• Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction
• Developing developments
• The bang calculus revisited
• Levy labels and recursive types

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)