56:58Philip Wadler - Propositions as Types (Lambda Days 2016)Erlang Solutions20.0K viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia864 viewsView & Download
39:20Learning Haskell for Dummies - Lesson 7 - Currying, Partial Application, Lambda calculuscmdv-tv2.5K viewsView & Download
22:55Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational ReasoningACM SIGPLAN280 viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
54:17A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalksSmartlyIO Engineering16.6K viewsView & Download
1:55:342020-04-03 Colab Intro to lambda calculus & the Scott-Curry undecidability theoremDivvyDAO: Colab, RChain, DigLife,63 viewsView & Download