ELab Team

Dec 20, 2021 · Fundamentals

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.