Report - Normalization in Lambda-Calculusabela/talkMcGill2012Normalization.pdf · Normalization De nition (Normal) t is normal if it has no reduct, t 6!. De nition (Weak normalization) t is

Please pass captcha verification before submit form