The Church-Rosser theorem states that lambda calculus as a reduction system with lambda conversion rules satisfies the Church-Rosser property.

Church-Rosser property | Church's theorem | Church-Turing thesis | lambda calculus