Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard CorrespondenceLambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard CorrespondenceLambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence