CSE 340 11-30-15 Lecture: "Lambda Calculus Pt. 3"
Channel: Adam Doupé
Date: 01/12/2015

Recorded lecture for CSE 340 on 11/30/15 continuing the Lambda Calculus topic. We covered the substitution operator, lambda calculus execution semantics, beta-reduction, representing boolean logic in lambda calculus, Church's numerals, addition, and multiplication.


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