44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience873 viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K 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
16:55Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)LigerLearn14.8K viewsView & Download
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy222.7K viewsView & Download
33:43The Lambda Calculus, part 1 2 Applied lambda calculi; the simply typed lambda calculusHans Hüttel8.2K viewsView & Download