CSE 340 11-23-15 Lecture: "Lambda Calculus Pt. 1"
Channel: Adam Doupé
Date: 2015-11-24

Update lambda calculus lectures from 2016: https://youtu.be/KoIdCHDbpMI

Recorded lecture for CSE 340 on 11/23/15 starting the Lambda Calculus topic. We covered the relation of lambda calculus to Turing Machines, history of lambda calculus, syntax of lambda calculus, disambiguation rules, informal description of the semantics of lambda calculus, currying, and free variables.


Lecture slides and other course material found on the class page:
http://adamdoupe.com/teaching/classes/cse340-principles-of-programming-languages-f15/