Church numeral
Jump to navigation
Jump to search
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)