CSE 340 F16: 11-16-16 "Lambda Calculus Pt. 3"
Channel: Adam Doupé
Date: 2016-11-17

Recorded lecture for CSE 340 F16 on 11/16/16. We discussed the renaming operation, the definition of alpha-equivalence, and the substitution operator for lambda calculus.

http://adamdoupe.com/teaching/classes/cse340-principles-of-programming-languages-f16/