Lambda Calculus: PyCon 2019 Tutorial (Screencast)

An introduction to the lambda calculus and related concepts from functional programming. Taught at PyCon 2019, Cleveland, Ohio.
This tutorial assumes no prior knowledge of lambda calculus and steps participants through the derivation of various concepts including boolean logic, Church numerals, arithmetic, data structures, recursion, and the Y-combinator. Also includes some historical perspective and digressions into other functional programming topics.
To get the most out of this, you should open a Python interpreter and code along as you watch.
Take a course! www.dabeaz.com...