Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Rejoignez Reverso, c'est gratuit et rapide !
lambda-calculus
Traduction de "lambda-calculus" en français
The beta-reduction of lambda-calculus distinguishes sorne functions which are extensionally equal.
La beta-réduction du lambda-calcul distingue certaines fonctions extensionnellement égales.
Typed lambda-calculus is a programming language which is formally equivalent to logical reasoning.
Le lambda-calcul typé est un langage de programmation formellement équivalent à la logique mathématique usuelle.
We describe an implicitly typed lambda-calculus and a declarative type system for which we prove soundness.
Nous y décrivons un lambda-calcul typé implicitement avec un système de types dont nous démontrons la correction.
To begin with we give a deterministic and contextual operational semantics for the call-by-name probabilistic lambda-calculus.
Tout d'abord nous définissons une sémantique opérationnelle déterministe et contextuelle pour le lambda-calcul probabiliste en appel par nom.
We study higher-order matching in the pure lambda-calculus modulo a restriction of beta-conversion known as superdevelopments.
Nous étudions le filtrage d'ordre supérieur dans le lambda-calcul pur modulo une restriction de la beta-conversion appelée super-développements.
Then using this operational semantics without side effect we define a notion of equational theories for the probabilistic lambda-calculus.
Au moyen de cette sémantique opérationnelle sans effet de bord nous définissons une notion de théorie équationnelle pour le lambda-calcul probabiliste.
Type isomorphisms have already been studied within the framework of the simply typed lambda-calculus with surjective pairing but without sums.
Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme.
Finally, we present a termination criterion for the combination of conditional rewriting and lambda-calculus based on a constrained type system.
Enfin, nous présentons un critère, basé sur un système de types contraints, pour la normalisation forte de la réécriture conditionnelle combinée au lambda-calcul.
This work is concluded by the description of obstructions for proving the same result for the lambda-calculus.
Enfin, on étudie les obstructions à ce même résultat concernant le lambda-calcul.
We obtain the first denotational model of the full quantum lambda-calculus which is both compositional and interactive, meaning that it represents the dynamic of the execution.
Nous obtenons le premier modèle dénotationnel du lambda-calcul quantique complet qui soit à la fois compositionnel et interactif, c'est à dire qu'il représente la dynamique de l'exécution.
For that we built an extension of lambda-calculus with frozen terms, noted, that is, terms which cannot reduce.
Dans ce but on construit une extension de lambda-calcul avec termes gelés, c'est à dire des termes qui ne peuvent se réduire.
The first one is inspired by the simply typed lambda-calculus, but it differs from it in the sense that a term may be well-typed without being terminating.
Le premier est inspiré du lambda-calcul simplement typé, mais un terme peut y être typé sans être terminant.
We begin by studying under which conditions the combination of a confluent conditional rewrite relation to the lambda-calculus leads to a confluent relation.
Nous commençons par étudier sous quelles conditions la combinaison d'une relation de réécriture conditionnelle confluente au lambda-calcul donne une relation de réécriture confluente.
Synonymes et analogies de "lambda-calculus" en anglais
Le mot et l’expression du jour
L’image du jour
Suggestions qui contiennent lambda-calculus
Résultats: 76. Exacts: 76. Temps écoulé: 51 ms.
