Fixed-Point Theorem (Lambda Calculus)

lambda-calculus

Definition

Fixed-Point Theorem (Lambda Calculus)

Every lambda abstraction has a fixed-point.

Proof

Fixed-Point Theorem (Lambda Calculus)

The Y combinator

is a fixed-point generator. It holds that:

for every lambda abstraction .