Church-Rosser property en · NOUN
Etymology
Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.
Meanings
- The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Church-Rosser properties | Number=Plur | lexicographic |