Nous pouvons voir ce'u comme une variable libre, qui devient alors lié par une lambda-abstraction, à savoir ka.
We can view ce'u as a free variable, which then becomes bound by a lambda abstraction, namely ka.
Autres résultats
Puis nous détaillons la traduction dans le langage de preuves COQ, la liaison retardée étant traduite par des lambda-abstractions.
After that, we detail the translation into the proof language COQ, the late binding being translated by lambda-abstractions.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
Aucun résultat pour cette recherche.
Synonymes et analogies de "lambda-abstraction" en français