Report - G54FOP: Lecture 11psznhn/G54FOP/LectureNotes/lecture11.pdf · G54FOP: Lecture 11 – p.3/21. Capture-Avoiding Substitution (1) [x 7→s]y = s, if x ≡ y y, if x 6≡y [x 7→s](t1

Please pass captcha verification before submit form