5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia919 viewsView & Download
56:58Philip Wadler - Propositions as Types (Lambda Days 2016)Erlang Solutions20.0K 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:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy222.9K viewsView & Download
56:19Implementing the simply typed lambda calculus in OCaml (as a not mathematician)Eduardo Rafael3.2K viewsView & Download
54:17A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalksSmartlyIO Engineering16.7K viewsView & Download