Report - Substitution Lemma - NoginCS101 Lecture 3 Type Preservation in -Calculus October 12, 2005 – p. 3 Reminder: -Calculus Evaluation Numbers and functions are values: n ! n x : t:e !

Please pass captcha verification before submit form