Definition
Y Combinator
The
combinator is a specific higher-order function (a combinator) and a fixed-point combinator in lambda calculus defined as: The primary purpose of it is to implement recursion in lambda calculus, a formalism that lacks built-in recursive definition capabilities.
Step
A single step already shows the underlying recursive structure of the Y combinator: