Church-Rosser theorem
Hello, you have come here looking for the meaning of the word Church-Rosser theorem. In DICTIOUS you will not only get to know all the dictionary meanings for the word Church-Rosser theorem, but we will also tell you about its etymology, its characteristics and you will know how to say Church-Rosser theorem in singular and plural. Everything you need to know about the word Church-Rosser theorem you have here. The definition of the word Church-Rosser theorem will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofChurch-Rosser theorem, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
Introduced by Alonzo Church and J. Barkley-Rosser in a 1936 paper.
Proper noun
- (mathematics, computing theory) 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.