Get Math Help

GET TUTORING NEAR ME!

(800) 434-2582

By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy

    Home / Get Math Help

    Church-Rosser Theorem

    Definition

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

    Related terms

    Church-Rosser property | Church's theorem | Church-Turing thesis | lambda calculus

    Back to List | POWERED BY THE WOLFRAM LANGUAGE