Reductions of Residuals are Finite

DOI10.2307/1998825zbMath0387.03007OpenAlexW4232671006MaRDI QIDQ4168908

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)

Related Items

Levy Labels and Recursive Types ⋮ The Church-Rosser theorem and quantitative analysis of witnesses ⋮ Standard and Normal Reductions ⋮ Developing developments ⋮ Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction ⋮ The bang calculus revisited ⋮ Perpetual reductions in \(\lambda\)-calculus

Cites Work

• Combinatory logic. With two sections by William Craig.
• Combinatory logic. Vol. II
• An abstract Church-Rosser theorem. II: Applications
• The Equivalence of Complete Reductions
• Standard and Normal Reductions
• An Abstract form of the church-rosser theorem. I
• Some Properties of Conversion
• Unnamed Item
• Unnamed Item