Master Lambda Calculus: Syntax, Reductions, and the Y Combinator Explained
This article introduces lambda calculus, explains its syntax and variable binding, details α, β, and η transformations, shows how to represent numbers and arithmetic with Church encoding, and walks through the Y combinator and its role in enabling recursion in pure functional expressions.
