Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
lambda calculus
Traduction de "lambda calculus" en portugais
Its structure is determined by the limitations of lambda calculus.
A sua estrutura é determinada pelos limites do cálculo lambda.
For instance, they do not exist in simply typed lambda calculus.
Por exemplo, eles não existem no cálculo lambda simplesmente tipado.
There is no concept in lambda calculus of variable declaration.
Em lambda cálculo não existe o conceito de declaração de variáveis.
Frequently, in uses of lambda calculus, equivalent terms are considered to be equivalent.
Freqüentemente, no lambda cálculo, termos alfa-equivalente são considerados equivalentes.
In untyped lambda calculus fixed-point combinators are not especially rare.
Em cálculo lambda não tipado combinadores de ponto fixo não são especialmente raros.
The lambda calculus uses a similar approach.
Uma abordagem similar é o cálculo lambda.
It is the canonical and simplest example of a typed lambda calculus.
Esse é o exemplo mais simples e canônico de um cálculo lambda com tipagem.
A classic example is the lambda calculus.
Um exemplo clássico é o Lambda Cálculo.
These are the typed lambda calculus representations of the basic combinators of combinatory logic.
Essas são as representações no lambda cálculo tipado dos combinadores básicos da lógica combinatória.
Another aspect of the untyped lambda calculus is that it does not distinguish between different kinds of data.
Outro aspecto do lambda cálculo não tipado é que ele não faz distinção entre diferentes tipos de dados.
Kappa-calculus can be regarded as "a reformulation of the first-order fragment of typed lambda calculus".
Kappa-cálculo pode ser considerado como "uma reformulação do fragmento de primeira-ordem do cálculo lambda tipado".
Howard showed that the correspondence extends to other connectives of the logic and other constructions of simply typed lambda calculus.
Howard mostrou que a correspondência estende-se para outros conectivos da lógica e outras construções do lambda cálculo simplesmente tipado.
Okay, I'll just say one more thing: lambda calculus.
Só mais uma coisa: cálculo lambda.
Synonymes et analogies de "lambda calculus" en anglais
Le mot et l’expression du jour
L’image du jour
Suggestions qui contiennent lambda calculus
Résultats: 159. Exacts: 159. Temps écoulé: 169 ms.
