Church numeral

English dictionary entry

Meanings

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

Word forms

Church numeral Church numerals

Etymology

Named after Alonzo Church.

Related words

Church encoding Church's theorem
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.