Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda abstraction
Vertaling van "lambda abstraction" in Frans
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.
Andere resultaten
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.
Synoniemen voor lambda abstraction in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 4. Exact: 1. Verstreken tijd: 30 ms.
