30:02UCL PPLV Research Seminar Part Two: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience305 viewsView & Download
1:03:01Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 2 of 2 - λC 2017LambdaConf831 viewsView & Download
10:50Category Theory, Lambda Calculus, and Functional Programming Part 2 of 3: Functorsblargoner9.0K viewsView & Download