Definify.com

Definition 2024

Church_numeral

Church numeral

English

Noun

Church numeral ‎(plural Church numerals)

A representation of a natural number using lambda notation.

Related terms

Church encoding
Church's theorem