5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia857 viewsView & Download
25:50(...) How to turn (Liquid) Haskell into a theorem prover - Niki Vazou(Lambda Days 2017)Erlang Solutions2.0K viewsView & Download
10:22Intro to Lambda Calculus: Syntax, evaluation, terminology (compared to Haskell, Python, JavaScript)Adam Jones8.2K viewsView & Download
27:34Refactoring a lambda calculus interpreter into a stack machine, in HaskellPhil Freeman1.2K viewsView & Download
1:11:55Bartosz Milewski - Truth about Types (Lambda Days 2016)Erlang Solutions20.4K viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
19:55"Introducing Lambda Calculus with Python" - Indranil Ghosh (PyConline AU 2020)PyCon AU1.1K viewsView & Download
1:52:33Module 4 - Lambda Calculus Semantics and Tutorial 1 on HaskellSoumen Paul221 viewsView & Download