Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
untyped lambda calculus
Traducere "untyped lambda calculus" în spaniolă
cálculo lambda sin tipo
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 simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical uses of the untyped lambda calculus, and it exhibits many desirable and interesting properties.
El cálculo lambda simplemente tipado fue originalmente introducido por Alonzo Church en el 1940 como un intento de evitar la aparición de paradojas en el cálculo lambda sin tipos.
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.
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.
The most famous early example is Alonzo Church's lambda calculus. Church's theory of types helped the formal system avoid the Kleene-Rosser paradox that afflicted the original untyped lambda calculus.
Alonzo Church, inventor del cálculo lambda, desarrolló una lógica de orden superior comúnmente llamada Teoría de Tipos de Church, para evitar la paradoja de Kleen-Rosser afectando el cálculo lambda puro original.
Sinonime și analogii pentru "untyped lambda calculus" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Rezultate: 5. Exacte: 5. Timp de răspuns: 100 ms.
