Church-Rosser theorem English

Meaning Church-Rosser theorem meaning

What does Church-Rosser theorem mean?

Church-Rosser theorem properNoun

— (math, comptheory) A theorem stating that, when applying reduction rules to terms in the lambda calculus, the ordering in which the reductions are chosen makes no difference to the eventual result.