Tradução de voz, recursos offline, sinónimos, conjugação, jogos de aprendizado
Publicidade
Una-se a Reverso, é grátis e rápido!
lambda abstraction
Tradução de "lambda abstraction" em francês
We can view ce'u as a free variable, which then becomes bound by a lambda abstraction, namely ka.
Nous pouvons voir ce'u comme une variable libre, qui devient alors lié par une lambda-abstraction, à savoir ka.
Outros resultados
After that, we detail the translation into the proof language COQ, the late binding being translated by lambda-abstractions.
Puis nous détaillons la traduction dans le langage de preuves COQ, la liaison retardée étant traduite par des lambda-abstractions.
All expressionsof System~{F} can be mechanically encoded into {MLF} by dropping all type abstractions and type applications, and injecting types of lambda-abstractions into {MLF} types.
Les expressions du Système {F} sont encodées de manière systématique dans {MLF} en supprimant les abstractions et les applications de types, et en traduisant les annotations de types dans le langage de types de {MLF}.
Lambda calculus is used to represent computations through function abstraction.
Le calcul lambda est utilisé pour représenter des calculs par l'abstraction de fonctions.
Sinônimos e analogias para "lambda abstraction" em inglês
Palavra e Expressão do Dia
Imagem do dia
Resultados: 4. Exatos: 1. Tempo de resposta: 32 ms.
