3:03Computer Science: Lambda Calculus: How do evaluation contexts "work"Roel Van de Paar31 viewsView & Download
1:38:37Foundations of Programming Languages: Linear Lambda-Calculus - Paul Downen - OPLSS 2018OPLSS895 viewsView & Download
2:57Let expressions in Lambda Calculus: Syntax and evaluation rulesAdam Jones2.1K viewsView & Download
1:12:14May 2019 Seajure: Lambda calculus-based proof systems in Clojure with LaTTeAmperity578 viewsView & Download
1:03:30Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018OPLSS1.2K viewsView & Download
42:55Lambda Calculus, the Core of Functional Programming LanguagesCSAChannel IISc411 viewsView & Download
44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience873 viewsView & Download
48:29It’s birds all the way down: Fun Introduction to Lambda Calculus by Lucas da Costa | Armada JS 2019Armada JS610 viewsView & Download