8:14CS442 Video 2.2: Lambda calculus pairs and listsGregor Richards at Waterloo843 viewsView & Download
44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience873 viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia877 viewsView & Download