Church numeral en · NOUN
Etymology
Named after Alonzo Church.
Meanings
- A representation of a natural number using lambda notation.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Church numerals | Number=Plur | lexicographic |
Dictionary
Words, grammatical forms and meanings linked to the ontology.