Church-Rosser property

noun

The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounChurch-Rosser property (plural Church-Rosser properties)

plural Church-Rosser properties

  1. computerThe property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.

Origin

Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.

Full word history & related roots →
Cite this entry
APA

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

MLA

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

Chicago

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

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