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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

proper nounthe Church-Rosser theorem
  1. computingA 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

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

Full word history & related roots →
Cite this entry
APA

Church-Rosser theorem. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/Church-Rosser%20theorem

MLA

“Church-Rosser theorem.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Church-Rosser%20theorem. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “Church-Rosser theorem,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/Church-Rosser%20theorem.

Source: Church-Rosser theorem on Wiktionary, CC BY-SA 4.0.