PURE LAMBDA-CALCULUS

Meaning of PURE LAMBDA-CALCULUS in English

Lambda-calculus with no constants, only functions expressed as lambda abstraction s.

(1994-10-27)

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

LAMBDA — n lambda (= 11th letter of the Greek alphabet)
Interlingua English vocab
LAMBDA — noun Etymology: Middle English, from Greek, of Semitic origin; akin to Hebrew lāmedh lamed Date: 15th century the 11th letter …
Толковый словарь английского языка - Merriam Webster
CALCULUS — I Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
Английский словарь Британика
PURE — I. ˈpyu̇(ə)r, -u̇ə adjective ( -er/-est ) Etymology: Middle English pur, from Old French, from Latin purus clean; akin to …
Webster's New International English Dictionary
LAMBDA — I. ˈlamdə, ˈlaam- noun ( -s ) Etymology: Greek labda, lambda, of Semitic origin; akin to Hebrew lāmedh lamedh 1. …
Webster's New International English Dictionary
CALCULUS — I. ˈkalkyələs, ˈkau̇k- noun ( plural calcu·li -ˌlī, -ē ; also calcu·lus·es -_ləsə̇z) Etymology: Latin, pebble, stone in the bladder …
Webster's New International English Dictionary
PURE — (superl.) Separate from all heterogeneous or extraneous matter; free from mixture or combination; clean; mere; simple; unmixed; as, pure water; …
Английский словарь Webster
LAMBDA — (n.) The point of junction of the sagittal and lambdoid sutures of the skull.
Английский словарь Webster
LAMBDA — (n.) The name of the Greek letter /, /, corresponding with the English letter L, l.
Английский словарь Webster
PURE — ( superl. ) Separate from all heterogeneous or extraneous matter; free from mixture or combination; clean; mere; simple; unmixed; as, …
Webster's Revised Unabridged English Dictionary
LAMBDA — ( n. ) The point of junction of the sagittal and lambdoid sutures of the skull.
Webster's Revised Unabridged English Dictionary
LAMBDA — ( n. ) The name of the Greek letter /, /, corresponding with the English letter L, l.
Webster's Revised Unabridged English Dictionary
PURE — — pureness , n. /pyoor/ , adj., purer, purest . 1. free from anything of a different, inferior, or contaminating …
Random House Webster's Unabridged English Dictionary
LAMBDA — /lam"deuh/ , n. 1. the 11th letter of the Greek alphabet. 2. the consonant sound represented by this letter. [ …
Random House Webster's Unabridged English Dictionary
CALCULUS — /kal"kyeuh leuhs/ , n. , pl. calculi /-luy'/ , calculuses . 1. Math. a method of calculation, esp. one of …
Random House Webster's Unabridged English Dictionary
LAMBDA — n. letter of the Greek alphabet; consonant "L" (Phonetics)
Толковый словарь английского языка - Редакция bed
PURE — adjective ( pur·er ; pur·est ) Etymology: Middle English pur, from Anglo-French, from Latin purus; akin to Old High German …
Merriam-Webster's Collegiate English vocabulary
LAMBDA — noun Etymology: Middle English, from Greek, of Semitic origin; akin to Hebrew lāmedh lamed Date: 15th century 1. : the …
Merriam-Webster's Collegiate English vocabulary
CALCULUS — noun ( plural cal·cu·li -ˌlī, -ˌlē ; also -lus·es ) Etymology: Latin, stone (used in reckoning) Date: 1666 1. a. …
Merriam-Webster's Collegiate English vocabulary
PURE — superl ritually clean; fitted for holy services. 2. pure ·superl of a single, simple sound or tone; said of …
Webster English vocab
LAMBDA — noun the point of junction of the sagittal and lambdoid sutures of the skull. 2. lambda ·noun the name of …
Webster English vocab
CALCULUS — noun a method of computation; any process of reasoning by the use of symbols; any branch of mathematics that may …
Webster English vocab
LAMBDA — [ 'lamdə ] ■ noun 1》 the eleventh letter of the Greek alphabet ( Λ , λ ), transliterated as …
Concise Oxford English vocab
PURE — [pure] adj pur.er ; pur.est [ME pur, fr. OF, fr. L purus; akin to OHG fowen to sift, Skt punati …
Merriam-Webster English vocab
LAMBDA — [lamb.da] n [ME, fr. Gk, of Sem origin; akin to Heb lamedh lamed] (15c) 1: the 11th letter of the …
Merriam-Webster English vocab
CALCULUS — [cal.cu.lus] n, pl -li also -lus.es [L, stone (used in reckoning)] (1666) 1 a: a method of computation or calculation …
Merriam-Webster English vocab
CALCULUS — branch of mathematical analysis concerned with the rates of change of continuous functions as their arguments change. Two men are …
Britannica English vocabulary
LAMBDA — lambda BrE AmE ˈlæmd ə ▷ lambda|s z
Longman Pronunciation English Dictionary
PURE — / pjʊə(r); NAmE pjʊr/ adjective ( purer / ˈpjʊərə(r); NAmE ˈpjʊr-/, purest / ˈpjʊərɪst; NAmE ˈpjʊr-/) NOT MIXED 1. [ …
Oxford Advanced Learner's English Dictionary
LAMBDA — / ˈlæmdə; NAmE / noun the 11th letter of the Greek alphabet (Λ, λ) •• WORD ORIGIN Greek .
Oxford Advanced Learner's English Dictionary
PURE
Longman Dictionary of Contemporary English
PURE — adj. 1 unmixed, unadulterated (pure white; pure alcohol). 2 of unmixed origin or descent (pure-blooded). 3 chaste. 4 morally or …
Английский основной разговорный словарь
LAMBDA — n. 1 the eleventh letter of the Greek alphabet. 2 the symbol for wavelength. [ME f. Gk la(m)bda]
Английский основной разговорный словарь
CALCULUS — n. (pl. calculuses or calculi) 1 Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Английский основной разговорный словарь
PURE — adj. 1 unmixed, unadulterated (pure white; pure alcohol). 2 of unmixed origin or descent (pure-blooded). 3 chaste. 4 morally or …
Concise Oxford English Dictionary
LAMBDA — n. 1 the eleventh letter of the Greek alphabet. 2 the symbol for wavelength. [ ME f. Gk la(m)bda ]
Concise Oxford English Dictionary
CALCULUS — n. (pl. calculuses or calculi) 1 Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Concise Oxford English Dictionary
PURE — adj.1 unmixed, unadulterated (pure white; pure alcohol). 2 of unmixed origin or descent (pure-blooded). 3 chaste. 4 morally or sexually …
Oxford English vocab
LAMBDA — n.1 the eleventh letter of the Greek alphabet. 2 the symbol for wavelength. Etymology: ME f. Gk la(m)bda
Oxford English vocab
CALCULUS — n. (pl. calculuses or calculi) 1. Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Oxford English vocab
PURE — ( purer, purest) Frequency: The word is one of the 3000 most common words in English. 1. A pure substance …
Collins COBUILD Advanced Learner's English Dictionary
CALCULUS — Calculus is a branch of advanced mathematics which deals with variable quantities. N-UNCOUNT
Collins COBUILD Advanced Learner's English Dictionary
PURE
Longman DOCE5 Extras English vocabulary
CALCULUS — noun COLLOCATIONS FROM OTHER ENTRIES differential calculus COLLOCATIONS FROM CORPUS ■ ADJECTIVE differential ▪ The package is designed to solve, …
Longman DOCE5 Extras English vocabulary
PURE
Cambridge English vocab
CALCULUS — n. differential calculus fundamental theorem of calculus integral calculus renal calculus predicate calculus propositional calculus
Britannica Concise Encyclopedia
CALCULUS — n. Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
Britannica Concise Encyclopedia
PURE
Moby Thesaurus English vocabulary
PURE — adj. pure D pure and simple simon pure
Collegiate Thesaurus English vocab
PURE — adj. Function: adjective 1 Synonyms: STRAIGHT 3, neat, plain, unadulterated, undiluted, unmixed Antonyms: impure 2 being such and no other …
Collegiate Thesaurus English vocab
PURE — I. pure adjective 1. Synonyms: straight 3, neat, plain, unadulterated, undiluted, unmixed Antonyms: impure 2. being such and no other …
Collegiate Thesaurus English vocabulary
PURE — INDEX: 1. not mixed with anything else 2. to make a substance pure 3. not pure RELATED WORDS containing no …
Longman Activator English vocab
PURE — adj. 25B6; adjective pure gold : UNADULTERATED, uncontaminated, unmixed, undiluted, unalloyed, unblended; sterling, solid, refined, 100 02CC; ; clarified, clear, …
Concise Oxford Thesaurus English vocabulary
LAMBDA — A version of typed lambda-calculus , used to describe semantic domain s. ["Outline of a Mathematical Theory of Computation", D.S. …
FOLDOC Computer English Dictionary
PURE — adj. 1 unmixed, unadulterated, unalloyed, simon-pure; 24-carat or US also 24-karat, sterling, solid; real, genuine, authentic, flawless, faultless, perfect, natural, …
Oxford Thesaurus English vocab
LAMBDA — The ratio of a change in the option price to a small change in the option volatility . It is …
Hypertextual Finance English Glossary
PURE — adjective BAD : We opened the window to get some pure air. GOOD : We opened the window to get …
Longman Common Errors English vocabulary
PURE
Большой Англо-Русский словарь
LAMBDA — лямбда, ламбда - lambda calculus - lambda conversion - lambda distribution - lambda function - lambda matrix - lambda operator …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
LAMBDA — Лямбда
Американский Англо-Русский словарь
PURE
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LAMBDA — n 1. ламбда, лямбда ( 11-я буква греческого алфавита λ) 2. анат. место соединения ламбдовидного и стреловидного швов черепа 3. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CALCULUS — calculus.ogg _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей

FOLDOC Computer English Dictionary

← PURE FUNCTIONAL LANGUAGE PURELY FUNCTIONAL LANGUAGE→