CSE 340 11-25-15 Lecture: "Lambda Calculus Pt. 2"

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/