411 REFERENCE · Wiktionary
Church-Rosser theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Introduced by Alonzo Church and J. Barkley-Rosser in a 1936 paper.
Proper noun
1
en 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.
en eponyms