CSE 340 F16: 11-9-16 "Lambda Calculus Pt. 1"
Channel: Adam Doupé
Date: 2016-11-10

Recorded lecture for CSE 340 F16 on 11/9/16. We discussed what lambda calculus is (and how it is not scary), the history of lambda calculus, syntax of lambda calculus, and semantics of lambda calculus.

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