1:08:24Lambda Calculus vs. Turing Machines (Theory of Computation)Advait Shinde26.8K viewsView & Download
13:26Essentials: Functional Programming's Y Combinator - ComputerphileComputerphile346.3K viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience873 viewsView & Download
30:02UCL PPLV Research Seminar Part Two: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience305 viewsView & Download
18:59CS4111: Boolean Logic and Recursion in Racket and Lambda CalculusComputer Science3.2K viewsView & Download