Church-Rosser property

English

Etymology

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

Noun

1. Template:Lb The property of a rewriting system for which $x\stackrel{*}{\leftrightarrow }y$ implies $x\downarrow y$ for all objects $x$, $y$.