Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)

In this video we discuss the way in which you can evaluate a lambda calculus program/expression using a number of rules (delta rules, beta reduction, alpha conversion and eta conversion). Contents: 00:30 - Video Contents Summary 00:52 - Bound vs. free variables 01:52 - Delta (δ) rules 02:31 - Beta (β) reduction 11:12 - Alpha (α) conversion 14:19 - Eta (η) conversion This video is a clip from a longer video where we explore the lambda calculus in much more depth. See the whole video, "Lambda Calculus Primer" here: https://youtu.be/9MtE5ONrQyk Also see the Introduction to Functional Programming with Haskell course ( https://www.youtube.com/playlist?list=PLMWwct3_kb-2xtOziG1gQYMVr691GadR4 ). Code shown in the course is available on Github here: https://github.com/LigerLearn/intro-to-fp-with-haskell-course