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