Word.ws English Dictionary

Church-Rosser theorem

Church-Rosser theorem proper noun: 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.

Proper noun

the Church-Rosser theorem

  1. 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.

Origin of Church-Rosser theorem

Introduced by Alonzo Church and J. Barkley-Rosser in a 1936 paper.

Questions about Church-Rosser theorem

What does Church-Rosser theorem mean?
Church-Rosser theorem means 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.
What part of speech is Church-Rosser theorem?
Church-Rosser theorem is a proper noun.

Words near Church-Rosser theorem in the dictionary

  1. church-loads
  2. Church-of-Englandism
  3. church-ridden
  4. Church-Rosser properties
  5. Church-Rosser property
  6. Church-Rosser theorem
  7. Church-Turing thesis
  8. church-yard
  9. church-yards
  10. churchal
  11. Churcham

Source and license

Adapted from Wiktionary: Church-Rosser theorem (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Church-Rosser theorem.” Word.ws, https://word.ws/church-rosser_theorem. Based on Wiktionary, CC BY-SA 4.0.