CSE 340 S16: 4-25-16 "Lambda Calculus Pt. 3"
Channel: Adam Doupé
Date: 2016-04-25

Recorded lecture for CSE 340 S16 on 4/25/16. We discussed bound variable rules, function equivalence, alpha-equivalence, the renaming operator, and substitution for lambda calculus.

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