30:02UCL PPLV Research Seminar Part Two: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience305 viewsView & Download
11:21How Can One Greek Letter Help Us Understand Language? Lambda CalculusThe Ling Space18.6K viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia877 viewsView & Download
44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience873 viewsView & Download
1:38:37Foundations of Programming Languages: Linear Lambda-Calculus - Paul Downen - OPLSS 2018OPLSS896 viewsView & Download
33:17Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 6) - λC 2018LambdaConf186 viewsView & Download