VDict - Definition of Church integer

search result for Church integer in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

Church integer integer SPECrate_int92 lambda-calculus character repertoire SPECmark int grix greatest common divisor Diophantine equation dereference Alonzo Church SPECint92 descriptor DIM statement fixed-point zeroth von Neumann integer modular arithmetic address printf discrete cosine transform Pentium Church, Alonzo Integer SPECratio Integer SPECbaserate Integer SPECrate Integer SPECbaseratio logarithmus dualis object identifier bit pattern genericity 2 natural number modulo operator process identifier flib SPECmark89 irrational number bitwise complement LISP 2 code position System Control Language radix i860 PowerPC 601 flat address space Omega test XPL SPEC CINT92 explicit type conversion simplex method UBASIC set Dhrystone file descriptor ALGOL 68 inheritance m4 binary search user name CUCH Knights of the Lambda-Calculus instruction scheduling out-of-band head normalisation theorem serialise Eris IntelDX4 slack vaxocentrism Church of the SubGenius fnord SPEC ARM710 von Neumann architecture Discordianism bignum benchmark religion of CHI

First < Previous 1 2 Next > Last