David Beazley just gave a tutorial on Lambda Calculus at PyCon, definitely worth the 3+ hours https://youtu.be/pkCLMl0e_0k