Download for Windows Premium
-50% Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Suggesties: calcul lambda
Publiciteit
du calcul lambda

Examples with "du calcul 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.
du calcul
of calculating of the calculation computing calculate calculations
lambda
lambda average ordinary normal random
Les principes du calcul lambda influencent divers langages de programmation aujourd'hui.
The principles of lambda calculus influence various programming languages today.
L'étude du calcul lambda s'étend au-delà des mathématiques de base jusqu'à l'informatique.
The study of lambda calculus extends beyond basic math into computer science.
Enfin, on finit en donnant une spécification formelle du calcul lambda j dans l'assistant à la preuve Coq.
Finally, we give a formal specification of the lambda j-calculus within the proof assistant Coq.

Andere resultaten

Les principes du calcul des lambda sont souvent enseignés dans les cours d'informatique avancés.
The principles of lambda calculus are often taught in advanced computer science courses.
La beta-réduction du lambda-calcul distingue certaines fonctions extensionnellement égales.
The beta-reduction of lambda-calculus distinguishes sorne functions which are extensionally equal.
La machine de Krivine met en œuvre l'appel par nom du lambda-calcul.
The Krivine machine implements call by name.
Les modèles que nous étudions sont dans la tradition des calculs de processus et du lambda-calcul.
The models we study are in the process calculus and lambda-calculus tradition.
Il s'agit d'une extension de la notion de paires de dépendances au cas du lambda-pi-calcul modulo réécriture.
It is an extension of the dependency pairs to the lambda-pi-calculus modulo rewriting.
Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles.
We conclude by discussing the adequacy of simply typed lambda calculus for natural language semantics.
Nous nous intéressons ensuite à la sémantique du lambda calcul avec constructeurs non typé.
Next we focus on semantics for the untyped calculus.
Cette construction peut être exprimée dans la syntaxe du lambda-calcul avec ressources ou dans un système de réseaux.
Super-promotion can be expressed in the syntax of lambda-calculus with resources or in Systems of nets.
Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme.
Type isomorphisms have already been studied within the framework of the simply typed lambda-calculus with surjective pairing but without sums.
Puis, nous construisons une extension vectorielle du lambda-calcul, le calcul barycentrique, interprété par cette sémantique totale.
We build a linear extension of lambda-calculus, named barycentric-calculus, interpreted by the total semantics.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor du calcul lambda in het Frans

Publiciteit

Suggesties

du lambda-calcul

Resultaten: 15987. Exact: 3. Verstreken tijd: 323 ms.