church integer
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of church integer words
- noun Technical meaning of church integer (theory) A representation of integers as functions invented by Alonzo Church, inventor of lambda-calculus. The integer N is represented as a higher-order function which applies a given function N times to a given expression. In the pure lambda-calculus there are no constants but numbers can be represented by Church integers. A Haskell function to return a given Church integer could be written: unchurch c = c (+1) 0 See also von Neumann integer. 1
Information block about the term
Parts of speech for Church integer
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with c
- Words starting with ch
- Words starting with chu
- Words starting with chur
- Words starting with churc
- Words starting with church
- Words starting with churchi
- Words starting with churchin
- Words starting with churchint
- Words starting with churchinte
- Words starting with churchinteg
- Words starting with churchintege
- Words starting with churchinteger
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?