Report - Foundations of Programming Languages › ... › foundations_notes.pdf · 1.3. SUBSTITUTION 9 Note that substitution is a partial function, because it might not be defined whensubstitutingintoalet:

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form