Examples with "d'un 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.
Le livre met en lumière les difficultés d'un lambda essayant de s'intégrer.
The book highlights the struggles of a pleb trying to fit in.
La femelle de tous les mythes jaillit des tréfonds de l'imaginaire d'un lambda, se matérialise et crucifie son géniteur.
The female of all myths springs from the depths of the imagination of a lambda, materialises and crucifies his genitor.
Pour réduire le temps consacré à l'exécution d'un lambda, il est essentiel de minimiser le nombre de liens d'une fonction, mais surtout, de réduire la quantité de code exécuté à chaque exécution de la fonction.
To lower the amount of time a lambda runs, it is important to minimize the number of dependencies a function has but most importantly, it is important to minimize the amount of code that is ran each time the function executes.
Pour compenser et garantir une utilisation sûre et durable, nous recommandons l'inclusion d'un lambda émulateur MALOSSI O2 dans votre mise en place.
To compensate and ensure safe and enduring use we recommend the inclusion of a MALOSSI O2 lambda emulator in your set up.
Andere resultaten
À la soirée, il plaisantait sur le fait d'être juste un lambda parmi les célébrités.
At the party, he joked about being just a pleb among the famous.
Enfin, une autre interprétation de la recherche de preuve est donnée par l'encodage de la réduction d'un lambda-calcul avec substitution explicite dans les règles d'inférence d'un sous-système de la logique intuitionniste dans le calcul des structures.
Finally, another interpretation of proof-search is given through the encoding of reduction in a lambda-calculus with explicit substitution into the inference rules of a subsystem of intuitionistic logic in the calculus of
Notre approche, basée sur le système lambda-upsilon, montre que ni l'une ni l'autre ne sont nécessaires pour exprimer l'unification d'ordre supérieur au moyen d'un lambda-calcul à substitutions explicites.
Our approach, based on lambda-upsilon, proves that neither composition nor open confluence is needed. Document type: Theses
Prenons tout d'abord un individu lambda, ma foi forte sympathique.
Consider first an average person, my faith very sympathetic.
Les heures d'accès correspondent à celles d'un podologue lambda.
Là, c'est le cerveau d'un patient lambda.
C'est ce qui nous différencie d'un hôtel lambda.
Son jugement est différent d'un individu lambda lisant ces messages.
Her judgment isn't the same As that of a layperson reading those messages.
Il plaisantait souvent sur le fait d'être un fonctionnaire lambda, mais son travail était vital.
