Church numeral (English, noun)
expansion: Church numeral (plural Church numerals)
Senses:
glosses: A representation of a natural number using lambda notation.
Forms:
form: Church numerals
tags: plural