Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Rejoignez Reverso, c'est gratuit et rapide !
lambda abstraction
Traduction de "lambda abstraction" en français
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.
Autres résultats
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.
Synonymes et analogies de "lambda abstraction" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 4. Exacts: 1. Temps écoulé: 33 ms.
