411 REFERENCE · Wiktionary
Church numeral
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Alonzo Church.
Noun
A representation of a natural number using lambda notation.
Related terms
en Church encoding
en Church's theorem
en eponyms