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