Church numeral

English

Etymology

Named after Alonzo Church.

Noun

Church numeral (plural Church numerals)

1. A representation of a natural number using lambda notation.

Related terms

• Church encoding
• Church's theorem