Tradução de voz, recursos offline, sinónimos, conjugação, jogos de aprendizado
Publicidade
Registe-se gratuitamente: aceda a mais resultados e funcionalidades
lambda calculus
Tradução de "lambda calculus" em português
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.
A classic example is lambda calculus.
Um exemplo clássico é o cálculo lambda.
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.
Sinônimos e analogias para "lambda calculus" em inglês
Palavra e Expressão do Dia
Imagem do dia
Sugestões que contenham lambda calculus
Resultados: 159. Exatos: 159. Tempo de resposta: 51 ms.
