SYSTEM F

Meaning of SYSTEM F in English

A type system by J-Y. Girard. Also known as Lambda-2 or the polymorphic lambda-calculus .

["Proofs and Types", J-Y. Girard, Cambridge U Press 1989].

(1994-11-23)

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

SYSTEM — [c mediumvioletred] (as used in expressions) Small Computer System Interface ABO blood group system actor manager system American System of …
Английский словарь Британика
F — I. ˈef noun ( plural f's or fs ˈefs) Usage: often capitalized, often attributive 1. a. : the sixth letter …
Webster's New International English Dictionary
SYSTEM — ˈsistə̇m noun ( -s ) Etymology: Late Latin systema, from Greek systēma, from synistanai to bring together, combine, from syn- …
Webster's New International English Dictionary
F — (v. t.) The name of the fourth tone of the model scale, or scale of C. F sharp (F /) …
Английский словарь Webster
F — () F is the sixth letter of the English alphabet, and a nonvocal consonant. Its form and sound are from …
Английский словарь Webster
F/ — Photog. See f-number . Also, f/, f: .
Random House Webster's Unabridged English Dictionary
F — I. ˈef noun ( plural f's or fs ˈefs) Usage: often capitalized, often attributive Date: before 12th century 1. a. …
Merriam-Webster's Collegiate English vocabulary
F — vt the name of the fourth tone of the model scale, or scale of c. f sharp (f /) is …
Webster English vocab
F — F 1 (also f ) ■ noun ( plural Fs or F's ) 1》 the sixth letter of the alphabet. …
Concise Oxford English vocab
F — [f] abbreviation failure, false, family, faraday, feast, female, feminine, femto-, fermi, fine, finish, fluid, fluidness, focal length, [following] and the …
Merriam-Webster English vocab
F — F, f BrE AmE ef ▷ Fs, fs, F's, f's efs —Communications code name: Foxtrot
Longman Pronunciation English Dictionary
SYSTEM — / ˈsɪstəm; NAmE / noun 1. [ C ] system (of / for sth) an organized set of ideas or …
Oxford Advanced Learner's English Dictionary
F — noun , abbreviation ■ noun (also f ) / ef; NAmE / [ C , U ] ( pl. Fs …
Oxford Advanced Learner's English Dictionary
SYSTEM — sys ‧ tem S1 W1 /ˈsɪstəm, ˈsɪstɪm/ BrE AmE noun [ Word Family: noun : ↑ system , ↑ systematization …
Longman Dictionary of Contemporary English
F — I. F 1 BrE AmE , f /ef/ ( plural F’s , f’s ) noun 1 . [uncountable and countable] …
Longman Dictionary of Contemporary English
F — abbr. (also F.) 1 Fahrenheit. 2 farad(s). 3 female. 4 fine (pencil-lead). 5 Biol. filial generation (as F[1] for the …
Английский основной разговорный словарь
F — n. (also f) (pl. Fs or F's) 1 the sixth letter of the alphabet. 2 Mus. the fourth note of …
Английский основной разговорный словарь
F — abbr. (also f.) 1 female. 2 feminine. 3 following page etc. 4 Mus. forte. 5 folio. 6 focal length (cf. …
Английский основной разговорный словарь
F — abbr. (also f.) 1 female. 2 feminine. 3 following page etc. 4 Mus. forte. 5 folio. 6 focal length (cf. …
Concise Oxford English Dictionary
F — abbr. (also F.) 1 Fahrenheit. 2 farad(s). 3 female. 4 fine (pencil-lead). 5 Biol. filial generation (as F [ 1 …
Concise Oxford English Dictionary
F — n. (also f) (pl. Fs or F's) 1 the sixth letter of the alphabet. 2 Mus. the fourth note of …
Concise Oxford English Dictionary
F — abbr. (also f.) 1. female. 2 feminine. 3 following page etc. 4 Mus. forte. 5 folio. 6 focal length (cf. …
Oxford English vocab
SYSTEM — ( systems) Frequency: The word is one of the 700 most common words in English. 1. A system is a …
Collins COBUILD Advanced Learner's English Dictionary
SYSTEM — noun COLLOCATIONS FROM OTHER ENTRIES a class system/structure (= a social system that has classes ) ▪ He felt he …
Longman DOCE5 Extras English vocabulary
SYSTEM — n. free enterprise system Small Computer System Interface ABO blood group system actor manager system American System of manufacture Apgar …
Britannica Concise Encyclopedia
F — (F) (SELF-PURIFICATION FACTOR) The self-purification factor is an indication of the ability of a stream to assimilate a waste discharge. …
Environmental Engineering English vocabulary
SYSTEM — An orderly, interconnected, complex arrangement of parts. See air filtration system , air injection reaction system , anti-lock brake system …
English Dictionary of Automotive Terms
F — I сущ.; мн. - Fs, F's 1) а) шестая буква англ. алфавита б) F-образный объект, предмет; нечто, по форме напоминающее …
Большой Англо-Русский словарь
SYSTEM — system.ogg ʹsıstım n 1. 1> система; способ; метод a good system of teaching French - хорошая система /-ий метод/ обучения …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
F — n ( pl Fs, f's efs ) 1. 6-я буква английского алфавита 2. 6-й номер серии 3. (F) муз. фа …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
SYSTEM — 1) система; комплекс 2) установка; устройство 3) система; порядок; классификация 4) метод; способ • to bleed system free from air …
Большой Англо-Русский политехнический словарь
SYSTEM — 1) система; комплекс 2) установка; устройство 3) система; порядок; классификация 4) метод; способ • to bleed system free from air — прокачивать систему для удаления …
Большой Англо-Русский политехнический словарь - РУССО
SYSTEM — 1) комплекс 2) множество 3) область 4) система 5) системный 6) совокупность 7) схемный 8) устройство • absolutely complete system — абсолютно полная система absolutely direct indecomposable system — абсолютно …
Англо-Русский научно-технический словарь
F — I сущ.; мн. ч. - Fs, F's 1) а) шестая буква англ. алфавита б) F-образный объект, предмет; нечто, по форме …
Англо-Русский словарь Tiger
F — n ( pl Fs, f's [efs] ) 1. 6-я буква английского алфавита 2. 6-й номер серии 3. (F) муз. фа …
Новый большой Англо-Русский словарь - Апресян, Медникова
F — n ( pl Fs, f's [efs] ) 1. 6-я буква английского алфавита 2. 6-й номер серии 3. (F) муз. фа …
Новый большой Англо-Русский словарь - Апресян, Медникова
SYSTEM — n 1. 1> система; способ; метод a good system of teaching French - хорошая система /-ий метод/ обучения французскому языку …
Большой новый Англо-Русский словарь
F — n ( pl Fs, f's efs ) 1. 6-я буква английского алфавита 2. 6-й номер серии 3. (F) муз. фа …
Большой новый Англо-Русский словарь
F — n ( pl Fs, f's efs ) 1. 6-я буква английского алфавита 2. 6-й номер серии 3. (F) муз. фа …
Большой новый Англо-Русский словарь
F — I ef мн. - Fs, F's efs ( шестая буква англ. алфавита; F - прописная, f - строчная ) II …
Англо-Русский словарь по общей лексике
F — I [ў§] мн. - Fs, F's [ў§©] (шестая буква англ. алфавита; F - прописная, f - строчная) II 1) муз. а) - F natural фа F …
Англо-Русский словарь общей лексики
SYSTEM
Англо-Русский словарь по машиностроению и автоматизации производства 2
SYSTEM
Англо-Русский словарь по машиностроению и автоматизации производства
SYSTEM — система - absorbent system - accessory olfactory system - action system - adaptive enzyme system - adrenal system - alimentary system - ambulacral system - artificial communication system - …
Новый Англо-Русский словарь по биологии
SYSTEM — система - absorbent system - accessory olfactory system - action system - adaptive enzyme system - adrenal system - alimentary …
Новый Англо-Русский биологический словарь
SYSTEM — 1) система || системный 2) система; установка; устройство; комплекс 3) программа - AI planning system - AI system - CAD …
Англо-Русский словарь по компьютерам
SYSTEM — 1) система; сеть; комплекс 2) установка, устройство 3) план; расположение 4) система; порядок; классификация • system in equilibrium — равновесная система - acoustic signalling system - active …
Англо-Русский словарь по строительству и новым строительным технологиям
SYSTEM — 1. система 2. агрегат; устройство; устройство 3. совокупность; семейство to troubleshoot system — отыскивать и устранять неисправности в системе; system with arbitrary …
Большой Англо-Русский словарь по нефти и газу
SYSTEM — сущ. 1) система 2) способ 3) метод 4) сеть 5) устройство 6) строй • - Accelerated Cost Recovery System - accounting system - administrative system - advanced system - alarm system - automated …
Англо-Русский словарь по экономике
SYSTEM — 1) система || системный 2) система; установка; устройство; комплекс 3) программа • - accounting system - adaptive control system - address selection system - addressing system - advice-giving …
Англо-Русский словарь по вычислительной технике и программированию
SYSTEM — 1) система; способ; метод 2) устройство; строй 3) классификация 4) учение 5) сеть (дорог) - systems and procedures - system …
Англо-Русский словарь по экономике и финансам
SYSTEM — 1) система; сеть (напр. трубопроводов) ; устройство 2) способ, метод - system in equilibrium - system of forces - system …
Англо-Русский строительный словарь
SYSTEM — 1) система; комплекс 2) метод; способ 3) канал 4) вычислительная система • - access control system - acoustic alarm system - acoustic image system - acoustic systems - actiontrack …
Англо-Русский словарь по телекоммуникациям
SYSTEM — система - apprenticeship system - case system - commission system - correctional system - correction system - examination system - first-to-file system - international trusteeship system - judicial system - …
Англо-Русский юридический словарь
SYSTEM — 1) система 2) устройство - system for guiding and supporting the web - Agate measuring system - air conveying system …
Англо-Русский словарь по полиграфии и издательскому делу
F-... — Ф-... В названии-индексе типа военного самолета означает "истребитель". Среди наиболее известных моделей: F-4 [Phantom], F-15 [Eagle], F-16 [Fighting Falcon], F-18 [Hornet], …
F-... — Ф-... В названии-индексе типа военного самолета означает "истребитель". Среди наиболее известных моделей: F-4 , F-15 , F-16 [Fighting Falcon], F-18 …
SYSTEM — система - accessory system - active antinoise system - active damping system - air brake system - air gulp system - air induction system - air intake …
Англо-Русский автомобильный словарь - Руссо
SYSTEM — система ; способ ; метод ; сеть ; строй ; формация ; учение ; ~ systems approach ; ~ systems …
Англо-Русский Деловой словарь
SYSTEM — 1) комплекс; совокупность; система 2) устройство 3) метод; план, проект; программа • - abstract information retrieval system - alert information system - automated design system - binary …
Англо-Русский словарь по патентам и товарным знакам
SYSTEM — система см. break the system см. communicate with system см. access control system см. access control list system см. access …
Англо-Русский словарь компьютерной безопасности
F — I сущ.; мн. - Fs, F's 1) а) шестая буква англ. алфавита б) F-образный объект, предмет; нечто, по форме напоминающее …
Новый большой Англо-Русский словарь

FOLDOC Computer English Dictionary

← SYSTEM CONTROL LANGUAGE SYSTEM MANAGEMENT BUS→