L17: Lambda Calculus Reductions and Substitution
Channel: Kristopher Micinski
Date: 2021-03-29

code: https://gist.github.com/kmicinski/56b331a10415251b871c3c6a1648a08c
dana scott's history of lambda calculus (5min-30min): https://youtu.be/uS9InrmPIoc?t=303