13:26Essentials: Functional Programming's Y Combinator - ComputerphileComputerphile346.3K viewsView & Download
1:08:24Lambda Calculus vs. Turing Machines (Theory of Computation)Advait Shinde26.8K viewsView & Download
1:38:37Foundations of Programming Languages: Linear Lambda-Calculus - Paul Downen - OPLSS 2018OPLSS895 viewsView & Download
1:03:30Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018OPLSS1.2K viewsView & Download
26:49Why Don't We Program In Lambda Calculus? Rust, Lisp, and Church's ThesisAndrew Giraffe24.9K viewsView & Download
1:07:10Foundations of Programming Languages: Polymorphic Lambda-Calculus [2/2] - Paul Downen - OPLSS 2018OPLSS396 viewsView & Download
27:14Translating Lambda Calculus into C++ Templates - Vít Šefl | Lambda Days 2021Code Sync572 viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download