Publicidad
Regístrate gratis: accede a más resultados y funciones
lambda calculus
Definición
Traducción de "lambda calculus" en español
Definición
It is the canonical and simplest example of a typed lambda calculus.
Es el ejemplo canónico y más sencillo de un cálculo lambda tipado.
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.
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.
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.
Lambda calculus can be called the smallest universal programming language.
Se puede considerar al cálculo lambda como el más pequeño lenguaje universal de programación.
Okay, I'll just say one more thing Lambda calculus.
Vale, solo diré una cosa más: cálculo lambda.
Lambda calculus is universal in the sense that any computable function can be expressed and evaluated using this formalism.
El cálculo lambda es universal porque cualquier función computable puede ser expresada y evaluada a través de él.
No general algorithm can answer the question of whether two lambda calculus expressions are equivalent.
El interrogante de si dos expresiones del cálculo lambda son equivalentes no puede ser resuelto por un algoritmo general.
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.
Computable functions and lambda calculus[edit]
Funciones computables y el cálculo lambda[editar]
In the typed lambda calculus, the turnstile is used to separate typing assumptions from the typing judgment.
En el cálculo lambda escrito, el torniquete se utiliza para supuestos de escritura separados de la sentencia a escribir.
An important theorem, in fact, of lambda calculus is that both strategies reduce to
Un teorema importante, de hecho, de cálculo lambda es que ambas estrategias se reducen a
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.
Hazte Premium para acceder a millones de ejemplos de traducción, guardar y aprender vocabulario sin límites y sin anuncios.
Sinónimos y analogías para "lambda calculus" en inglés
Palabra y expresión del día
Imagen del día
Sugerencias que contengan lambda calculus
Resultados: 109. Exactos: 95. Tiempo de respuesta: 61 ms.
