The Equivalence of Complete Reductions

DOI10.2307/1998507MaRDI QIDQ4133943zbMATH OpenOpenAlexFDO

Authors Roger Hindley

Publication date 1977

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites work

• scientific article; zbMATH DE number 3521950 (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.
• The Calculi of Lambda Conversion. (AM-6)
• Tree-Manipulating Systems and Church-Rosser Theorems

Cited in

(5)

• Confluence and superdevelopments
• Combinatory reduction systems: Introduction and survey
• Standard and Normal Reductions
• Reductions of Residuals are Finite
• Descendants and origins in term rewriting.

This page was built for publication: The Equivalence of Complete Reductions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133943)