Report copyright - The Lambda Calculus - Columbia UniversityNormal Form Can a lambda expression have more than one normal form? Church-Rosser Theorem I: If E1 $ 2, then there ex-ists an expression Esuch
Please pass captcha verification before submit form