9:24Free and Bound Variables in Lambda Calculus: What are they and how can we calculate them?Adam Jones5.8K viewsView & Download
16:55Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)LigerLearn14.9K viewsView & Download
1:19Computer Science: Free and bound variables in a lambda-calculus termRoel Van de Paar95 viewsView & Download
54:17A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalksSmartlyIO Engineering16.7K viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia922 viewsView & Download
1:00:23Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017LambdaConf5.5K viewsView & Download
1:38:37Foundations of Programming Languages: Linear Lambda-Calculus - Paul Downen - OPLSS 2018OPLSS896 viewsView & Download
9:19Free and Bound Type Variables in Type Systems: What are they and how can we calculate them?Adam Jones1.6K viewsView & Download
44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience876 viewsView & Download