Church numeral
English edit
Etymology edit
Named after Alonzo Church.
Noun edit
Church numeral (plural Church numerals)
- A representation of a natural number using lambda notation.
Named after Alonzo Church.
Church numeral (plural Church numerals)