TOPICS
Search

Church-Rosser Theorem


The Church-Rosser theorem states that lambda calculus as a reduction system with lambda conversion rules satisfies the Church-Rosser property.


See also

Church-Rosser Property, Church's Theorem, Church-Turing Thesis, Lambda Calculus

This 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 Theorem

Cite 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

Subject classifications