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

• Combinatory logic. With two sections by William Craig.
• Combinatory logic. Vol. II
• Some Properties of Conversion
• Title not available (Why is that?)
• An abstract Church-Rosser theorem. II: Applications
• An Abstract form of the church-rosser theorem. I
• Standard and Normal Reductions
• The Equivalence of Complete Reductions
• Title not available (Why is that?)

Cited In (7)

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

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)