Church-Rosser property
nounEtymology
Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.
Definitions
The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all…
The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.
The neighborhood
Vish — recursive loop
No curated loop yet for Church-Rosser property. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA