1:03:30Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018OPLSS1.2K viewsView & Download
56:29Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018LambdaConf1.0K viewsView & Download
29:27Beyond Lambda-Calculus: Intensional Computation • Barry Jay • YOW! 2017GOTO Conferences1.4K viewsView & Download
1:00:23Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017LambdaConf5.5K viewsView & Download
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy222.9K viewsView & Download
45:28Practical Lambda Calculus - Jonas Winje, Einar Høst (Lambda Days 2017)Erlang Solutions1.7K viewsView & Download
11:43Ugo Dal Lago: "Confluence results for a quantum lambda calculus with measurements"OxfordQuantumVideo276 viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia919 viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download