The Church-Rosser theorem states that lambda calculus as a reduction system with lambda conversion rules satisfies the Church-Rosser property.
Church-Rosser Theorem
See also
Church-Rosser Property, Church's Theorem, Church-Turing Thesis, Lambda CalculusThis entry contributed by Alex Sakharov (author's link)
Explore with Wolfram|Alpha
References
Baader, F. and Nipkow, T. Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.Referenced on Wolfram|Alpha
Church-Rosser TheoremCite this as:
Sakharov, Alex. "Church-Rosser Theorem." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/Church-RosserTheorem.html