16:55Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)LigerLearn14.8K viewsView & Download
2:57Let expressions in Lambda Calculus: Syntax and evaluation rulesAdam Jones2.1K viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia856 viewsView & Download
1:08:24Lambda Calculus vs. Turing Machines (Theory of Computation)Advait Shinde26.8K viewsView & Download
10:22Intro to Lambda Calculus: Syntax, evaluation, terminology (compared to Haskell, Python, JavaScript)Adam Jones8.2K viewsView & Download
1:38:37Foundations of Programming Languages: Linear Lambda-Calculus - Paul Downen - OPLSS 2018OPLSS895 viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
54:17A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalksSmartlyIO Engineering16.6K viewsView & Download