6:50The Architecture of Collapse: Axioms and Inconsistency in Lambda CalculusTuriyan Gold0 viewsView & Download
1:08:24Lambda Calculus vs. Turing Machines (Theory of Computation)Advait Shinde26.8K viewsView & Download
3:29Another d3.js visualization of a lambda calculus computationMarius Buliga2.8K viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia858 viewsView & Download
16:55Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)LigerLearn14.8K viewsView & Download
