Word Pronunciation & Dictionary

church-rosser property

Word Rarity Very rare

Frequency: Zipf frequency 2.28 in modern English

Syllables: church-rosser prop-er-ty
IPA

37

Scrabble Score

20

Letters

4

Syllables

10

Unique Chars

Meaning

noun

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

Etymology

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

Inflected Forms

Church-Rosser properties (plural)

Questions

What does church-rosser property mean?: The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.
Where does church-rosser property come from?: Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.

How to pronounce church-rosser property

Open the pronunciation page — Open the Speakur entry for “church-rosser property”.
Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
Play the audio — Click Play to hear reference audio for “church-rosser property”.
Repeat and practice — Say “church-rosser property” aloud, matching stress and vowels until it feels natural.