Dictionary    Maps    Thesaurus    Translate    Advanced >   

Tip: Click Thesaurus above for synonyms. Also, follow synonym links within the dictionary to find definitions from other sources.

1. The Free On-line Dictionary of Computing (18 March 2015)
Church integer

    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

   	church n = c
   		   c f x = if n == 0 then x else c' f (f x)
   			   c' = church (n-1)

   A function to turn a Church integer into an ordinary integer:

   	unchurch c = c (+1) 0

   See also von Neumann integer.


Common Misspellings >
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.

©2011-2020 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy