Examples with "que le lambda" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Finalement, nous abordons la spécification de la sémantique opérationnelle d'un langage de programmation tel que le lambda calcul avec -réduction.
Finally, we takle the specificiation of the operational semantics of a programming language such as lambda calculus with - reduction.
Disons simplement que le Lambda a construit le premier corps unitaire jamais construit et a défini le tracé qui ne s'est établi que graduellement comme norme trois décennies plus tard.
Let's just say that the Lambda had the first unitary body ever built and defined the layout that only became established gradually as the standard three decades later.
Que le Lambda Driver ne peut-être utilisé que pendant un court laps de temps.
It means using a Lambda Driver for a long period of time is probably impossible.
Andere resultaten
Ce qui est important cependant est de savoir que le lambda-calcul et le modèle de substitution s'appliquent seulement aux expressions qui n'ont pas d'effets de bord.
What's important though is to know that number calculus as a model, and the substitution model, can be applied only to expressions that do not have a side effect.
Il fut démontré que cette application simultanée des deux produits, chacun utilisé au quart de sa dose, provoquait une mortalité aussi rapide que le Lambda-cyhalothrine utilisé seul et maintenait des niveaux de population assez faibles durant des semaines pour un coût très réduit.
It was demonstrated that application of both products together, each at a quarter of its registered dose, caused mortality almost as quick as lambda-cyhalothrin alone and maintained low population levels for weeks, and all this at a much lower cost.
Il est important de reconnaître que le lambda-calcul traditionnel n'a pas de nombres, de caractères ou tout autre type de données sans fonction!
It's important to recognize that traditional lambda calculus doesn't have numbers, characters, or any non-function datatype! Boolean Logic
Bien que le lambda-calcul ne prenne traditionnellement en charge que les fonctions à un seul paramètre, nous pouvons créer des fonctions multi-paramètres en utilisant une technique appelée currying.
a Although lambda calculus traditionally supports only single parameter functions, we can create multi-parameter functions using a technique called currying.
Nous montrons que le lambda-calcul étiqueté vérifie la propriété d'irréversibilité des contextes: une fois qu'un contexte est intervenu dans une réduction, il disparaît irréversiblement dans la suite de cette réduction.
The property of context irreversibility holds in the labelled lambda-calculus: once a context is involved in a reduction, it irreversibly disappears in the remaining of the reduction.
La Programmation Concurrente par Contraintes (CCP) est un formalisme linguistique mature de la famille des algèbres de processus, il traite les processus de la même façon que le lambda-calcul traite les fonctions calculables.
French description Abstract Concurrent constraint programming (CCP) is a mature linguistic formalism from the family of process calculi and hence it treats processes much like the lambda-calculus treats computable functions.
Résumé : La Programmation Concurrente par Contraintes (CCP) est un formalisme linguistique mature de la famille des algèbres de processus, il traite les processus de la même façon que le lambda-calcul traite les fonctions calculables.
Abstract: Concurrent constraint programming (CCP) is a mature linguistic formalism from the family of process calculi and hence it treats processes much like the lambda-calculus treats computable functions.
C'est une idée reçue que le citoyen lambda n'apprécie pas l'art raffiné.
There's a misconception that the great unwashed don't appreciate fine art.
Par exemple, que pense le client lambda des prix que vous pratiquez ?
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
