Church-Rosser property
Church-Rosser property · Church-Rosser properties
The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for…The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.
Meaning
1 sensesThe property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.
Origin
Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.
Wiktionary, CC BY-SA 4.0 · source
Forms
plural: Church-Rosser properties| Singular | Church-Rosser property |
|---|---|
| Plural | Church-Rosser properties |
regular