411 REFERENCE · Wiktionary
Church-Rosser property
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.
Noun
en logic computer science The property of a rewriting system for which implies for all objects , .
en eponyms