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: • Lambda (λ) Calculus Pr...
Also see the Introduction to Functional Programming with Haskell course ( • Intro to Functional Pr... ).
Code shown in the course is available on Github here: github.com/LigerLearn/intro-t...

[@mohammedhussain6585]

Concise, straightforward and easily understandable. Fantastic video !

[@23reebapatel79]

very precise and best one on youtube thanks

[@IoniB]

🔥🔥