Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
typed lambda calculus
Translation of "typed lambda calculus" in Russian
типизированное лямбда-исчисление
The theory is a second-order typed lambda calculus similar to System F, but with existential instead of universal quantification.
Теория представляет собой типизированное лямбда-исчисление второго порядка, аналогичное Системе F, но с экзистенциальной квантификацией вместо универсальной.
Structural proof theory is connected to type theory by means of the Curry-Howard correspondence, which observes a structural analogy between the process of normalisation in the natural deduction calculus and beta reduction in the typed lambda calculus.
Структурная теория доказательства связана с теорией типов посредством соответствия Карри-Говарда, которое основано на структурной аналогии между процессом нормализации в исчислении натуральной дедукции и бета-редукцией типизированного лямбда-исчисления.
Lambda Calculus with Types (Perspectives in Logic) - one more book describing typed lambda calculus.
Lambda Calculus with Types (Perspectives in Logic) - еще одна книга посвященная типизированному лямбда исчислению.
I shall not try to describe the various activities in any detail: they ranged from providing a model for the typed lambda calculus to the development of programs by means of semantics-preserving program transformations.
Я не буду подробно описывать различные отрасли: они простираются от модели типизированного лямбда-счисления до разработки преобразований программ с сохранением семантики.
For example, simply typed lambda calculus can be seen as a language with a single type constructor-the function type constructor.
Просто типизированное лямбда-исчисление можно рассматривать как язык с единственным конструктором типов - конструктором функционального типа.
The three axes of the cube correspond to three different augmentations of the simply typed lambda calculus: the addition of dependent types, the addition of polymorphism, and the addition of higher kinded type constructors (functions from types to types, for example).
Трём осям куба соответствуют три различных дополнения к просто типизированному лямбда-исчислению: дополнение зависимых типов, дополнение полиморфизма и дополнение конструкторов типов высшего порядка.
Structural proof theory is connected to type theory by means of the Curry-Howard correspondence, which observes a structural analogy between the process of normalisation in the natural deduction calculus and beta reduction in the typed lambda calculus.
Структурная теория доказательства связана с теорией типов посредством соответствия Карри-Говарда, которое основано на структурной аналогии между процессом нормализации в исчислении натуральной дедукции и бета-редукцией типизированного лямбда-исчисления.
For example, simply typed lambda calculus can be seen as a language with a single type constructor-the function type constructor.
Просто типизированное лямбда-исчисление можно рассматривать как язык с единственным конструктором типов - конструктором функционального типа.
Synonyms and analogies of "typed lambda calculus" in English
Word & Expression of the day
Image of the day
Results: 8. Exact: 8. Elapsed time: 57 ms.
