Church-Rosser property

Hello, you have come here looking for the meaning of the word Church-Rosser property. In DICTIOUS you will not only get to know all the dictionary meanings for the word Church-Rosser property, but we will also tell you about its etymology, its characteristics and you will know how to say Church-Rosser property in singular and plural. Everything you need to know about the word Church-Rosser property you have here. The definition of the word Church-Rosser property will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofChurch-Rosser property, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

English

English Wikipedia has an article on:

Church-Rosser property

Etymology

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

Noun

Church-Rosser property (plural Church-Rosser properties)

(logic, computer science) The property of a rewriting system for which $x{\stackrel {*}{\leftrightarrow }}y$ implies $x{\mathbin {\downarrow }}y$ for all objects $x$ , $y$ .

Wikious

Boobota

Sagapedia