Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
untyped lambda calculus
Vertaling van "untyped lambda calculus" in Spaans
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.
Synoniemen voor untyped lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 5. Exact: 5. Verstreken tijd: 82 ms.
