Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
of lambda calculus
Traduction de "of lambda calculus" en français
du lambda-calcul
du calcul lambda
An important theorem, in fact, of lambda calculus is that both strategies reduce to
Un théorème important du lambda-calcul est que les deux stratégies se réduisent à
An important theorem, in fact, of lambda calculus is that both strategies reduce to the same final value as long as the reduced expression consists of pure functions and both evaluations terminate.
Un théorème important du lambda-calcul est que les deux stratégies se réduisent à la même valeur, tant que la réduction de l'expression se compose de fonctions pures et que ces deux évaluations se terminent.
The principles of lambda calculus influence various programming languages today.
Les principes du calcul lambda influencent divers langages de programmation aujourd'hui.
The principles of lambda calculus are often taught in advanced computer science courses.
Les principes du calcul des lambda sont souvent enseignés dans les cours d'informatique avancés.
The study of lambda calculus extends beyond basic math into computer science.
L'étude du calcul lambda s'étend au-delà des mathématiques de base jusqu'à l'informatique.
Abstract: The lambda calculus with constructors was introduced by Arbiser, Miquel and Rios in the early 2000's as an extension of lambda calculus with pattern matching features.
Résumé : Le lambda calcul avec constructeurs (de Arbiser, Miquel et Rios) est une extension du lambda calcul avec un mécanisme de filtrage.
Synonymes et analogies de "of lambda calculus" en anglais
Le mot et l’expression du jour
L’image du jour
Suggestions qui contiennent of lambda calculus
Résultats: 6. Exacts: 6. Temps écoulé: 36 ms.
