1:00:23Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017LambdaConf5.5K viewsView & Download
48:48Fun with the Lambda Calculus • Corey Haines • GOTO 2015GOTO Conferences15.0K viewsView & Download
56:29Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018LambdaConf1.0K viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia861 viewsView & Download
