Word.ws English Dictionary

Church-Rosser property

Church-Rosser property noun: the property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.

Noun

Church-Rosser property (plural Church-Rosser properties)

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

Forms of Church-Rosser property

pluralChurch-Rosser properties

Origin of Church-Rosser property

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

Questions about Church-Rosser property

What does Church-Rosser property mean?
Church-Rosser property means the property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.
What part of speech is Church-Rosser property?
Church-Rosser property is a noun.
What is the plural of Church-Rosser property?
The plural of Church-Rosser property is Church-Rosser properties.

Words near Church-Rosser property in the dictionary

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

Source and license

Adapted from Wiktionary: Church-Rosser property (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 property.” Word.ws, https://word.ws/church-rosser_property. Based on Wiktionary, CC BY-SA 4.0.