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

Recorded lecture for CSE 340 S16 on 4/15/16. We discussed the history of lambda calculus and the syntax of lambda calculus. 

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