Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Successor Function

1 min read

lambda-calculus

Definition

Successor Function

The successor function is a combinator that is used to get the next number of a Church numeral and is defined as:

Backlinks