SECOND-ORDER LAMBDA-CALCULUS

Meaning of SECOND-ORDER LAMBDA-CALCULUS in English

< language > (SOL) A typed lambda-calculus .

["Abstract Types have Existential Type", J. Mitchell et al, 12th POPL, ACM 1985, pp. 37-51].

(1995-07-29)

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
SECOND — [c mediumvioletred] (as used in expressions) Second Empire style Marne Second Battle of the Northern War Second Persian Gulf War …
Английский словарь Британика
CALCULUS — I Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
Английский словарь Британика
SECOND — I. ˈsekənd, -ənt, before a consonant often -kən sometimes -k ə ŋ adjective Etymology: Middle English second, secound, from Old …
Webster's New International English Dictionary
ORDER — I. ˈȯrdər, ˈȯ(ə)də(r noun ( -s ) Etymology: Middle French ordre, order, from Old French ordene, ordne, ordre, from Medieval …
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
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
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
SECOND — second 1 — seconder , n. /sek"euhnd/ , adj. 1. next after the first; being the ordinal number for two. …
Random House Webster's Unabridged English Dictionary
ORDER — — orderable , adj. — orderer , n. — orderless , adj. /awr"deuhr/ , n. 1. an authoritative direction or …
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
SECOND — I. ˈse-kənd also -kənt, especially before a consonant -kən, -k ə ŋ adjective Etymology: Middle English, from Anglo-French secund, from …
Merriam-Webster's Collegiate English vocabulary
ORDER — I. ˈȯr-dər verb ( or·dered ; or·der·ing ˈȯr-d(ə-)riŋ) Etymology: Middle English, from ordre, noun Date: 13th century transitive verb 1. …
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
SECOND — noun aid; assistance; help. 2. second ·noun the second part in a concerted piece; often popularly applied to the …
Webster English vocab
ORDER — vi to give orders; to issue commands. 2. order ·noun a command; a mandate; a precept; a direction. 3. order …
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
SECOND — [sec.ond] adj [ME, fr. OF, fr. L secundus second, following, favorable, fr. sequi to follow--more at sue] (13c) 1 a: …
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
SECOND — fundamental unit of time, now defined in terms of radiation emitted from atoms of the element cesium under specified conditions. …
Britannica English vocabulary
CALCULUS — branch of mathematical analysis concerned with the rates of change of continuous functions as their arguments change. Two men are …
Britannica English vocabulary
SECOND — I second adjective; noun; number; adverb; determiner; verb 'support' BrE AmE ˈsek ə nd !!- ə nt ▷ second|ed ɪd …
Longman Pronunciation English Dictionary
LAMBDA — lambda BrE AmE ˈlæmd ə ▷ lambda|s z
Longman Pronunciation English Dictionary
SECOND — I . *sec·ond / ˈsekənd; NAmE / determiner , ordinal number , adverb , noun , verb —see also second …
Oxford Advanced Learner's English Dictionary
ORDER — / ˈɔːdə(r); NAmE ˈɔːrd-/ noun , verb ■ noun ARRANGEMENT 1. [ U , C ] the way in which …
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
SECOND — I. sec ‧ ond 1 S1 W1 /ˈsekənd/ BrE AmE number 1 . the second person, thing, event etc is …
Longman Dictionary of Contemporary English
ORDER — I. or ‧ der 1 S1 W1 /ˈɔːdə $ ˈɔːrdər/ BrE AmE noun [ Word Family: noun : ↑ order …
Longman Dictionary of Contemporary English
SECOND — n., adj., & v. --n. 1 the position in a sequence corresponding to that of the number 2 in the …
Английский основной разговорный словарь
ORDER — n. & v. --n. 1 a the condition in which every part, unit, etc. is in its right place; tidiness …
Английский основной разговорный словарь
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 …
Английский основной разговорный словарь
SECOND — n., adj., & v. n. 1 the position in a sequence corresponding to that of the number 2 in the …
Concise Oxford English Dictionary
ORDER — n. & v. n. 1 a the condition in which every part, unit, etc. is in its right place; tidiness …
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
SECOND — 1. n., adj., & v. --n. 1. the position in a sequence corresponding to that of the number 2 in …
Oxford English vocab
ORDER — n. & v. --n. 1. a the condition in which every part, unit, etc. is in its right place; tidiness …
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
SECOND — I. PART OF A MINUTE /sekənd/ ( seconds) Frequency: The word is one of the 700 most common words in …
Collins COBUILD Advanced Learner's English Dictionary
ORDER — I. SUBORDINATING CONJUNCTION USES /ɔ:(r)də(r)/ Frequency: The word is one of the 1500 most common words in English. 1. If …
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
SECOND — I. number COLLOCATIONS FROM OTHER ENTRIES a first/second/third etc edition ▪ The first edition was published in 1986. a second …
Longman DOCE5 Extras English vocabulary
ORDER — I. noun COLLOCATIONS FROM OTHER ENTRIES a court order (= an instruction that someone must do something ) ▪ A …
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
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
SECOND — n. Second Empire Baroque Second Empire style Marne Second Battle of the Northern War Second Persian Gulf War Second Second …
Britannica Concise Encyclopedia
SECOND — • ↑ a second • ↑ a second/an instant • ↑ be first/second etc • ↑ have second thoughts • …
Longman Activator English vocab
ORDER — INDEX: 1. order 2. in the correct order 3. in the wrong order 4. doing things one after the other …
Longman Activator English vocab
SECOND — n. 25B6; adjective the second day of the trial : NEXT, following, subsequent, succeeding. he keeps a second pair of …
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
SECOND — adj. 1 subsequent, following, next He let the first target go by and aimed for the second one 2 subordinate, …
Oxford Thesaurus English vocab

FOLDOC Computer English Dictionary

← SEARCH THE FUCKING WEB SECURE HASH ALGORITHM→