Examples of using Lambda calculus in English and their translations into Spanish
{-}
-
Colloquial
-
Official
The untyped lambda calculus is Turing-complete, but many typed lambda calculi, including System F, are not.
El cálculo lambda sin tipo es Turing completo, pero muchos cálculos lambda con tipo, incluyendo el Sistema F no lo son.Lambda calculus- Wikipedia,
Cálculo lambda- Wikipedia,Lambda calculus- Wikipedia Open main menu.
Cálculo lambda- Wikipedia, la enciclopedia libre.Lambda calculus- intensionality.
Asclepias glaucescens- ficha informativa».Lambda calculus From Wikipedia, the free encyclopedia.
Cálculo lambda- Wikipedia, la enciclopedia libre.Lisp and lambda expressions derive from the Lambda Calculus.
The first deterministic models were recursive functions, lambda calculus, and Turing machines.
Algunos ejemplos de modelos incluyen las máquinas de Turing, las funciones recursivas, cálculo lambda, y sistema de producción.The needs of thoroughly intensional theories such as untyped lambda calculus have been met in denotational semantics.
Las necesidad de teorías a fondo de lo intencional, por ejemplo cálculo lambda no tipeado, se han resuelto dentro de la semántica denotacional.the basic types of the corresponding lambda calculus are just the objects,
los tipos base de su correspondiente cálculo lambda son sus objetos,In Church's original lambda calculus, the formal parameter of a lambda expression was required to occur at least once in the function body,
Véase que en el cálculo original lambda de Church era obligatorio que This thesis studies full reduction in lambda calculi and the lambda theories involving it.
Esta tesis estudia la reducción plena(‘full reduction'en inglés) en distintos cálculos lambda.There are also functional explorations of quantum computing based on lambda calculus.
También hay exploraciones funcionales de la computación cuántica basadas en el cálculo lambda.Joy is based on composition of functions rather than lambda calculus.
Joy está basado en la composición de funciones en vez del cálculo lambda.Many functional programming languages can be viewed as elaborations on the lambda calculus.
Muchos lenguajes de programación funcionales pueden ser vistos como elaboraciones del cálculo lambda.Church used lambda calculus in 1936 to give a negative answer to the Entscheidungsproblem.
Church usó el cálculo lambda en 1936 para resolver Lambda calculus can be called the smallest universal programming language.
Se puede considerar al cálculo lambda como el lenguaje universal de programación más pequeño.Alonzo Church in the lambda calculus.
Alonzo Church en el cálculo lambda.in fact, of lambda calculus is that both strategies reduce to.
de hecho, de cálculo lambda es que ambas estrategias se reducen a.Moreover, in lambda calculus, notions such as'3' and'∗{\displaystyle*}' can be represented without any need for externally defined primitive operators or constants.
Por otra parte, en el cálculo lambda, nociones tales como'3'y'*'puede ser representado sin ninguna necesidad de operadores primitivos externamente definidos o de constantes.It is possible to identify terms in lambda calculus, which, when suitably interpreted,
Es posible identificar los términos que en el cálculo lambda, cuando están interpretados convenientemente,
