Linked from

The 3 pages that link to Church–Rosser theorem, each with the reason it gives.

• Alonzo ChurchRelated: Church and Rosser established a key consistency property of the lambda calculus.

• Lambda calculusRelated: Confluence explains why distinct reduction choices cannot produce incompatible normal forms.

• Combinatory logicRelated: It explains why different reduction paths can still agree when they reach normal forms.