1:02:28ACM@UIUC SIGPLAN - Type Theory - 2 (Lambda Calculus Extensions, Proofs)Reed Oei102 viewsView & Download
56:29Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018LambdaConf1.0K viewsView & Download
18:36[ICFP24] A correct-by-construction conversion from lambda calculus to combinatory logic (JFP(…)ACM SIGPLAN228 viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
1:08:24Lambda Calculus vs. Turing Machines (Theory of Computation)Advait Shinde26.8K viewsView & Download
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy222.7K viewsView & Download
56:58Philip Wadler - Propositions as Types (Lambda Days 2016)Erlang Solutions20.0K viewsView & Download