The story
Introduced by Alonzo Church and J. Barkley-Rosser in a 1936 paper.
Etymology from Wiktionary, CC BY-SA 4.0.
Church-Rosser theorem
Today it means: A theorem stating that, when applying reduction rules to terms in the lambda calculus, the ordering in which the reductions are chosen makes no difference to the eventual result. Full definition →