Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
lambda-abstractions
Suggestion : lambda abstraction
Exemples avec "lambda-abstractions" et leurs traductions en français
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}.
Autres résultats
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.
Synonymes et analogies de "lambda-abstractions" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 3. Exacts: 2. Temps écoulé: 57 ms.
