25:181 04 A Lambda Calculus Foundation for Universal Probabilistic ProgrammingICFP Video557 viewsView & Download
1:03:30Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018OPLSS1.2K viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
36:06Lambda World 2018 - A developer's guide to probabilistic programming - Evelina GabasovaLambda World1.8K viewsView & Download
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy222.7K viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia862 viewsView & Download
1:06:19Simona Ronchi Della Rocca: A foundational lambda calculus for probabilistic computation (FSCD A)IJCAR-FSCD 202095 viewsView & Download