David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 2019YouTube ↗
Archive guide
David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.