Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
que le lambda-calcul
Exemples avec "que le lambda-calcul" et leurs traductions en anglais
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.
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.
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.
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.
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
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.
Autres résultats
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.
En 1964, Peter Landin est le premier à réaliser que le calcul lambda de Church peut être utilisé pour modéliser les langages de programmation.
In 1964, Peter Landin is the first to realize Church's lambda calculus can be used to model programming languages.
Ils constituent ainsi un pont entre le lambda-calcul et les programmes.
They constitute a bridge between lambda-calculus and programs.
Mon domaine de recherche inclut partiellement le lambda-calcul et la théorie des types.
My research domain includes partially lambda-calculus and type theory.
Le lambda-calcul constitue le support de la première interprétation.
Lambda-calculus is the framework of the first interpretation.
Le lambda-calcul peut être typé ou non.
Lambda calculus may be untyped or typed.
La théorie des types est basée sur le lambda calcul qui est purement fonctionnel.
Type theory is based on the lambda calculus which is purely functional.
Passez à Premium pour accéder à des millions d’exemples de traduction, enregistrer et apprendre du vocabulaire en illimité, le tout sans publicité.
Résultats: 203. Exacts: 6. Temps écoulé: 79 ms.
