CSE 340 11-25-15 Lecture: "Lambda Calculus Pt. 2"
Channel: Adam Doupé
Date: 25/11/2015

Recorded lecture for CSE 340 on 11/25/15 continuing the Lambda Calculus topic. We covered the definition of free variables, combinators, bound variables, determining the abstraction that binds a bound variable, function equivalence, the definition of the renaming operation, alpha-equivalence, and the intuition and usage of the substitution operator.


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