David Beazley - Lambda Calculus from the Ground Up - PyCon 2019

PyCon 2019Length: 3 hours 26 minutesComputability & complexity theory

In brief

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.

Play from start

YouTube