Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda-abstractions
Bedoelde u: lambda abstraction
Examples with "lambda-abstractions" and their translation in Frans
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}.
Andere resultaten
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.
Synoniemen voor lambda-abstractions in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 3. Exact: 2. Verstreken tijd: 62 ms.
