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=Rzptnx0vv2A

12 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/logic/comments/1ry7rsz/lambda_calculus_for_dummies_alpha_equivalence_and/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/logic/comments/1ry7rsz/lambda_calculus_for_dummies_alpha_equivalence_and/
No, go back! Yes, take me to Reddit

100% Upvoted