Title: A simple proof of a generalized Church-Rosser theorem
Subjects: Calculus, Lambda calculus, Symbolic and mathematical Logic, Mathematical analysis