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/
Download
0 formats
No download links available.
CSE 340 11-23-15 Lecture: "Lambda Calculus Pt. 1" | NatokHD