5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia924 viewsView & Download
22:55Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational ReasoningACM SIGPLAN281 viewsView & Download
56:29Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018LambdaConf1.0K viewsView & Download
1:55:342020-04-03 Colab Intro to lambda calculus & the Scott-Curry undecidability theoremDivvyDAO: Colab, RChain, DigLife,63 viewsView & Download
58:44Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2 - λC 2017LambdaConf12.0K viewsView & Download
1:43:22Astra Kolomatskaia --- The Objective Metatheory of Simply Typed Lambda Calculus.The New York City Category Theory Seminar871 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 2018OPLSS896 viewsView & Download