|
|
|
|
|
|
|
1. The Free On-line Dictionary of Computing (30 December 2018) |
lambda-calculus
(Normally written with a Greek letter lambda).
A branch of mathematical logic developed by Alonzo Church in
the late 1930s and early 1940s, dealing with the application
of functions to their arguments. The pure lambda-calculus
contains no constants - neither numbers nor mathematical
functions such as plus - and is untyped. It consists only of
lambda abstractions (functions), variables and applications
of one function to another. All entities must therefore be
represented as functions. For example, the natural number N
can be represented as the function which applies its first
argument to its second N times (Church integer N).
Church invented lambda-calculus in order to set up a
foundational project restricting mathematics to quantities
with "effective procedures". Unfortunately, the resulting
system admits Russell's paradox in a particularly nasty way;
Church couldn't see any way to get rid of it, and gave the
project up.
Most functional programming languages are equivalent to
lambda-calculus extended with constants and types. Lisp
uses a variant of lambda notation for defining functions but
only its purely functional subset is really equivalent to
lambda-calculus.
See reduction.
(1995-04-13)
|
|
|
|
|
Common Misspellings > |
lambda-calculus alambda-calculus almbda-calculus lalmbda-calculus ambda-calculus llambda-calculus lmabda-calculus lamabda-calculus lmbda-calculus laambda-calculus labmda-calculus lambmda-calculus labda-calculus lammbda-calculus lamdba-calculus lambdba-calculus lamda-calculus lambbda-calculus lambad-calculus lambdad-calculus lamba-calculus lambdda-calculus lambd-acalculus lambda-acalculus lambd-calculus lambdaa-calculus lambdac-alculus lambda-c-alculus lambdacalculus lambda--calculus lambda-aclculus lambda-caclculus lambda-alculus lambda-ccalculus lambda-claculus lambda-calaculus lambda-clculus lambda-caalculus lambda-caclulus lambda-calclulus lambda-caculus lambda-callculus lambda-caluclus lambda-calcuclus lambda-calulus lambda-calcculus lambda-calcluus lambda-calculuus lambda-calclus lambda-calcuulus lambda-calcuuls lambda-calcululs lambda-calcuus lambda-calcullus lambda-calculsu lambda-calculusu lambda-calculs lambda-calculuus lambda-calculsus lambda-calculu lambda-calculuss iambda-calculus liambda-calculus ilambda-calculus oambda-calculus loambda-calculus olambda-calculus pambda-calculus lpambda-calculus plambda-calculus kambda-calculus lkambda-calculus klambda-calculus ,ambda-calculus l,ambda-calculus ,lambda-calculus .ambda-calculus l.ambda-calculus .lambda-calculus lqmbda-calculus laqmbda-calculus lqambda-calculus lwmbda-calculus lawmbda-calculus lwambda-calculus lsmbda-calculus lasmbda-calculus lsambda-calculus lxmbda-calculus laxmbda-calculus lxambda-calculus lzmbda-calculus lazmbda-calculus lzambda-calculus l mbda-calculus la mbda-calculus l ambda-calculus lembda-calculus limbda-calculus lombda-calculus lumbda-calculus lajbda-calculus lamjbda-calculus lajmbda-calculus lakbda-calculus lamkbda-calculus lakmbda-calculus lalbda-calculus lamlbda-calculus lalmbda-calculus lanbda-calculus lamnbda-calculus lanmbda-calculus la bda-calculus lam bda-calculus la mbda-calculus lamfda-calculus lambfda-calculus lamfbda-calculus lamgda-calculus lambgda-calculus lamgbda-calculus lamhda-calculus lambhda-calculus lamhbda-calculus lamvda-calculus lambvda-calculus lamvbda-calculus lamnda-calculus lambnda-calculus lamnbda-calculus lam da-calculus lamb da-calculus lam bda-calculus lambwa-calculus lambdwa-calculus lambwda-calculus lambea-calculus lambdea-calculus lambeda-calculus lambra-calculus lambdra-calculus lambrda-calculus lambsa-calculus lambdsa-calculus lambsda-calculus lambfa-calculus lambdfa-calculus lambfda-calculus lambxa-calculus lambdxa-calculus lambxda-calculus lambca-calculus lambdca-calculus lambcda-calculus lambva-calculus lambdva-calculus lambvda-calculus lamb a-calculus lambd a-calculus lamb da-calculus lambdq-calculus lambdaq-calculus lambdqa-calculus lambdw-calculus lambdaw-calculus lambdwa-calculus lambds-calculus lambdas-calculus lambdsa-calculus lambdx-calculus lambdax-calculus lambdxa-calculus lambdz-calculus lambdaz-calculus lambdza-calculus lambd -calculus lambda -calculus lambd a-calculus lambde-calculus lambdi-calculus lambdo-calculus lambdu-calculus lambda0calculus lambda-0calculus lambda0-calculus lambdapcalculus lambda-pcalculus lambdap-calculus lambda-salculus lambda-csalculus lambda-scalculus lambda-dalculus lambda-cdalculus lambda-dcalculus lambda-falculus lambda-cfalculus lambda-fcalculus lambda-xalculus lambda-cxalculus lambda-xcalculus lambda-valculus lambda-cvalculus lambda-vcalculus lambda- alculus lambda-c alculus lambda- calculus lambda-cqlculus lambda-caqlculus lambda-cqalculus lambda-cwlculus lambda-cawlculus lambda-cwalculus lambda-cslculus lambda-caslculus lambda-csalculus lambda-cxlculus lambda-caxlculus lambda-cxalculus lambda-czlculus lambda-cazlculus lambda-czalculus lambda-c lculus lambda-ca lculus lambda-c alculus lambda-celculus lambda-cilculus lambda-colculus lambda-culculus lambda-caiculus lambda-caliculus lambda-cailculus lambda-caoculus lambda-caloculus lambda-caolculus lambda-capculus lambda-calpculus lambda-caplculus lambda-cakculus lambda-calkculus lambda-caklculus lambda-ca,culus lambda-cal,culus lambda-ca,lculus lambda-ca.culus lambda-cal.culus lambda-ca.lculus lambda-calsulus lambda-calcsulus lambda-calsculus lambda-caldulus lambda-calcdulus lambda-caldculus lambda-calfulus lambda-calcfulus lambda-calfculus lambda-calxulus lambda-calcxulus lambda-calxculus lambda-calvulus lambda-calcvulus lambda-calvculus lambda-cal ulus lambda-calc ulus lambda-cal culus lambda-calc7lus lambda-calcu7lus lambda-calc7ulus lambda-calc&lus lambda-calcu&lus lambda-calc&ulus lambda-calc8lus lambda-calcu8lus lambda-calc8ulus lambda-calcylus lambda-calcuylus lambda-calcyulus lambda-calcilus lambda-calcuilus lambda-calciulus lambda-calchlus lambda-calcuhlus lambda-calchulus lambda-calcjlus lambda-calcujlus lambda-calcjulus lambda-calcklus lambda-calcuklus lambda-calckulus lambda-calcalus lambda-calcelus lambda-calcolus lambda-calcuius lambda-calculius lambda-calcuilus lambda-calcuous lambda-calculous lambda-calcuolus lambda-calcupus lambda-calculpus lambda-calcuplus lambda-calcukus lambda-calculkus lambda-calcuklus lambda-calcu,us lambda-calcul,us lambda-calcu,lus lambda-calcu.us lambda-calcul.us lambda-calcu.lus lambda-calcul7s lambda-calculu7s lambda-calcul7us lambda-calcul&s lambda-calculu&s lambda-calcul&us lambda-calcul8s lambda-calculu8s lambda-calcul8us lambda-calculys lambda-calculuys lambda-calculyus lambda-calculis lambda-calculuis lambda-calculius lambda-calculhs lambda-calculuhs lambda-calculhus lambda-calculjs lambda-calculujs lambda-calculjus lambda-calculks lambda-calculuks lambda-calculkus lambda-calculas lambda-calcules lambda-calculos lambda-calculuq lambda-calculusq lambda-calculuqs lambda-calculuw lambda-calculusw lambda-calculuws lambda-calculue lambda-calculuse lambda-calculues lambda-calculua lambda-calculusa lambda-calculuas lambda-calculud lambda-calculusd lambda-calculuds lambda-calculuz lambda-calculusz lambda-calculuzs lambda-calculux lambda-calculusx lambda-calculuxs lambda-calculuc lambda-calculusc lambda-calculucs lambda-calculu lambda-calculus lambda-calculu s Definition commonly spelled as: Defanition or Defenition, Synonym as: Synonim, Sinonym or Sinonim, Thesaurus as: Thesorus or Thesauris, Dictionary as: Dictionery or Dictionry and Define is usually not misspelled. What does mispell meen? It Meens...
Full Map Index: Å Norway-Am Timan Chad |
Ama United States of America-Audon France |
Audouville-la-Hubert France-Baskil Turkey |
Baskin United States of America-Bindoy Philippines |
Bindoy Philippines-Breuilpont France |
Breukelen Netherlands-Campofelice di Fitalia Italy |
Campofelice di Roccella Italy-Champigny France |
Champigny-en-Beauce France-Colle San Magno Italy |
Colle Sannita Italy-Damulog Philippines |
Damurhuda Bangladesh-Duliāgaon India |
Duliajan No.1 India-Ethridge United States of America |
Étienville France-Frignano Italy |
Frignicourt France-Gouhenans France |
Gouillons France-Hasselbach Germany |
Hasselbach Germany-Hurlock United States of America |
Huron United States of America-Jovellanos Cuba |
Jovellar Philippines-Kirchzell Germany |
Kircubbin United Kingdom-La Gomera Guatemala |
La Gonfrière France-Le Hohwald France |
Le Hommet-dArthenay France-Loma de Gato Philippines |
Loma de Juárez Mexico-Mālpur India |
Mālpura India-Memphis United States of America |
Memphis United States of America-Montería Colombia |
Monteriggioni Italy-Navalilla Spain |
Navalmanzano Spain-Noyelles-lès-Seclin France |
Noyelles-lès-Vermelles France-Pachelma Russia |
Pachgaon India-Piégut-Pluviers France |
Piekary Śląskie Poland-Prilep Macedonia |
Přílepy Czech Republic-Reuil-en-Brie France |
Reuilly France-Şag Romania |
Şag Romania-Saint-Puy France |
Saint-Python France-Santa Rita Panama |
Santa Rita Venezuela-Sewarhi India |
Sewen France-Sparbu Norway |
Spardorf Germany-Tamparan Philippines |
Tampayan Philippines-Tottington United Kingdom |
Tottleben Germany-Valdivia Chile |
Valdivia Colombia-Villeneuve-le-Roi France |
Villeneuve-lès-Avignon France-White City United States of America |
White City Canada-Żywiec Poland |
|
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-2023 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 |
|