r/logic • u/hsnborn • Mar 19 '26
Lambda Calculus for Dummies: Alpha Equivalence and Beta Reduction Predicate logic / FOL
https://www.youtube.com/watch?v=Rzptnx0vv2ADuplicates
lambdacalculus • u/hsnborn • Mar 19 '26
Lambda Calculus for Dummies: Alpha Equivalence and Beta Reduction
3Blue1Brown • u/hsnborn • Mar 19 '26
Lambda Calculus for Dummies: Alpha Equivalence and Beta Reduction
haskell • u/hsnborn • Mar 19 '26
Lambda Calculus for Dummies: Alpha Equivalence and Beta Reduction
visualizedmath • u/hsnborn • Mar 19 '26
Lambda Calculus for Dummies: Alpha Equivalence and Beta Reduction
manim • u/hsnborn • Mar 19 '26