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
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia921 viewsView & Download
1:43Lambda calculus : what about the bound variables in substituting expression?Roel Van de Paar2 viewsView & Download
15:38Computer Science: CS4111: Free and Bound Variables, Nested Lambdas, Lazy and Eager EvaluationComputer Science2.7K viewsView & Download
6:48CS442 Video 2.3: Lambda calculus numbers and additionGregor Richards at Waterloo497 viewsView & Download
44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience876 viewsView & Download
4:36Grammar of the Lambda Calculus: How to read it and what's var, app, abs?Adam Jones2.8K viewsView & Download