44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience873 viewsView & Download
56:29Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018LambdaConf1.0K viewsView & Download
28:23The Lambda Calculus, part 1 3 The polymorphic lambda calculusHans Hüttel1.5K viewsView & Download
1:00:23Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017LambdaConf5.5K viewsView & Download
48:48Fun with the Lambda Calculus • Corey Haines • GOTO 2015GOTO Conferences15.0K viewsView & Download
1:08:24Lambda Calculus vs. Turing Machines (Theory of Computation)Advait Shinde26.8K viewsView & Download