English Explanatory Dictionary

Church-Rosser property

English dictionary entry

Meanings

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

Word forms

Church-Rosser property Church-Rosser properties

Etymology

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

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on C Russian dictionary Dahl dictionary