Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
in the lambda calculus
Traduction de "in the lambda calculus" en espagnol
en el cálculo lambda
Since abstraction is the only way to manufacture functions in the lambda calculus, something must replace it in the combinatory calculus.
Puesto que la abstracción es la única manera de fabricar funciones en el cálculo lambda, algo debe sustituirlo en el cálculo combinatorio.
It is possible to identify terms in the lambda calculus, which, when suitably interpreted, behave like the number 3 and like the multiplication operator, q.v.
Es posible identificar los términos que en el cálculo lambda, cuando están interpretados convenientemente, se comportan como el número 3 y el operador de la multiplicación.
As described above, all functions in the lambda calculus are anonymous functions, having no names.
En el cálculo lambda, todas las expresiones representan funciones anónimas de un solo argumento.
Alonzo Church in the lambda calculus.
Alonzo Church en el cálculo lambda.
In the lambda calculus, the hybrid nature amounts to a 'phase distinction' in the treatment of abstractions when considered either from outside or from inside themselves.
En el cálculo lambda la naturaleza híbrida se manifiesta como una 'distinción de fase' en el tratamiento de las abstracciones, ya sean consideradas desde fuera o desde dentro de si mismas.
Y:= g (x x)) In the lambda calculus, Y g is a fixed-point of g, as it expands to
En el cálculo lambda, Y g es un punto fijo de g, debido a que expande a g (Y g).
In the lambda calculus it is not possible to refer to the definition of a function in a function body.
En el cálculo lambda, no es posible definir funciones que se incluyan a sí mismas.
Since abstraction is the only way to manufacture functions in the lambda calculus, something must replace it in the combinatory calculus.
Puesto que la abstracción es la única manera de fabricar funciones en el cálculo lambda, algo debe sustituirlo en el cálculo combinatorio.
Le mot et l’expression du jour
L’image du jour
Résultats: 8. Exacts: 8. Temps écoulé: 61 ms.
