Abstract
Replacement systems with the Church-Rosser property promise to be of great interest for the theory of parallel programming languages; particular systems have long been of interest in theories of combinatory logic and lambda conversion. This paper reviews known methods for proving the Church-Rosser property for general replacement systems and adds some new results. Finally some open problems are listed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
BARENDREGT, H.P. Some extensional term models for combinatory logics and λ-calculi. Ph.D. thesis, U. Utrecht, 1971.
CURRY, H.B. and R. FEYS Combinatory logic, North-Holland, Amsterdam, 1958.
HINDLEY, R. The Church-Rosser property and a result in combinatory logic. Ph.D. thesis, U. Newcastle-upon-Tyne, 1964.
An abstract form of the Church-Rosser theorem, I. J. Symbolic Logic 34, 1969, 545–560.
An abstract Church-Rosser theorem, II: applications. J. Symbolic Logic, 39, 1974, 1–21.
MITSCHKE, G. Ein algebraischer Beweis für das Church-Rosser Theorem, Arch. math. Logik 15, 1973, 146–157.
ROSEN, B.K. Tree-manipulating systems and Church-Rosser theorems. J.A.C.M. 20, 1973, 160–187.
SCHROER, D.E. The Church-Rosser theorem. Ph.D. thesis, Cornell University, 1965.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Staples, J. (1975). Church-Rosser theorems for replacement systems. In: Crossley, J.N. (eds) Algebra and Logic. Lecture Notes in Mathematics, vol 450. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0062861
Download citation
DOI: https://doi.org/10.1007/BFb0062861
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07152-5
Online ISBN: 978-3-540-37480-0
eBook Packages: Springer Book Archive