1:08:24Lambda Calculus vs. Turing Machines (Theory of Computation)Advait Shinde26.8K viewsView & Download
30:02UCL PPLV Research Seminar Part Two: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience305 viewsView & Download
41:33A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part IIGabriel Lebec63.9K viewsView & Download
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy222.7K viewsView & Download
1:00:23Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017LambdaConf1.4K viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
8:14CS442 Video 2.2: Lambda calculus pairs and listsGregor Richards at Waterloo843 viewsView & Download
1:38:37Foundations of Programming Languages: Linear Lambda-Calculus - Paul Downen - OPLSS 2018OPLSS895 viewsView & Download
53:08Vlad Patryshev - Explaining Lambda Calculus through Plain JavaScript // Carolina Code Conf 2024Carolina Code Conference137 viewsView & Download