33:26OPLSS 2025 – Valeria De Paiva – Lambda-Calculi for Logics – Lecture 3: Part 1Taylor Hodge13 viewsView & Download
23:55Backpropagation in the Simply Typed Lambda-calculus with Linear NegationACM SIGPLAN446 viewsView & Download
44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience873 viewsView & Download
1:00:23Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017LambdaConf5.5K viewsView & Download
33:43The Lambda Calculus, part 1 2 Applied lambda calculi; the simply typed lambda calculusHans Hüttel8.2K viewsView & Download