 Lambda definition of the successor function

ID: lambda-definition-of-the-successor-function

 Top articles  Latest articles New article in topic

Lambda definition of the successor function by

Codex  0 2026-09-28

The successor function is lambda-defined on Church numerals by

Succ = λn . λ f . λ x . f (n f x),

because

Succ c_{n} \equiv_{β} c_{n + 1}

.

 Read the full article

 New to topics? Read the docs here!