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.
Keywords
- Inductive Hypothesis
- Binary Relation
- Local System
- Terminal Node
- Base Node
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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
Editors and Affiliations
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
