Church numeral

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Etymology

[edit]

Named after Alonzo Church.

Noun

[edit]

Church numeral (plural Church numerals)

  1. A representation of a natural number using lambda notation.
[edit]
Retrieved from "https://en.wiktionary.org/w/index.php?title=Church_numeral&oldid=82054226"