28:23The Lambda Calculus, part 1 3 The polymorphic lambda calculusHans Hüttel1.5K viewsView & Download
1:03:30Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018OPLSS1.2K viewsView & Download
49:07Polymorphism on the typed lambda calculus (as a bad chess player)Eduardo Rafael2.3K viewsView & Download
33:34The Lambda Calculus, part 1 4 Type inference in the polymorphic lambda calculusHans Hüttel1.5K viewsView & Download
56:29Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018LambdaConf1.0K viewsView & Download
1:07:10Foundations of Programming Languages: Polymorphic Lambda-Calculus [2/2] - Paul Downen - OPLSS 2018OPLSS396 viewsView & Download
13:26Essentials: Functional Programming's Y Combinator - ComputerphileComputerphile346.3K viewsView & Download
1:08:24Lambda Calculus vs. Turing Machines (Theory of Computation)Advait Shinde26.8K viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia858 viewsView & Download
1:15:25Stephanie Weirich: "Strongly Typed System F in GHC"Chalmers Functional Programming Seminar Series4.7K viewsView & Download