13:26Essentials: Functional Programming's Y Combinator - ComputerphileComputerphile346.3K viewsView & Download
23:42Partial Recursive Functions 4: Primitive RecursionHackers at Cambridge39.7K viewsView & Download
34:22Peeling the Banana: Recursion Schemes from First Principles - Zainab AliLambda World9.8K viewsView & Download
1:00:23Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017LambdaConf1.4K viewsView & Download
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy222.7K viewsView & Download
44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience873 viewsView & Download
54:17A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalksSmartlyIO Engineering16.6K viewsView & Download
56:29Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018LambdaConf1.0K viewsView & Download