1:12:08CS 152: Programming Languages - Spring 2019: Section 3 - Lambda CalculusMustafa Bal292 viewsView & Download
1:10:23CS 152: Programming Languages - Spring 2019: Section 1 - Induction, Small & Large-step semanticsMustafa Bal1.1K viewsView & Download
41:06CS 152: Programming Languages - Spring 2019: Section 10 - Type Constructors & MonadsMustafa Bal119 viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
42:55Lambda Calculus, the Core of Functional Programming LanguagesCSAChannel IISc411 viewsView & Download