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

Examples with "du lambda- calcul" 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 lambda
of the lambda of lambda
calcul
calculation calculating computing computation calculations
Il a été démontré, par exemple, que les interprétations calculatoires de l'inférence profonde peuvent fournir un typage adéquat du lambda- calcul avec partage explicite ainsi que des réseaux d'interaction.
For example, it has been shown that computational interpretations of Deep Inference can provide an adequate typing for the lambda-calculus with explicit sharing and also for interaction nets.

Andere resultaten

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.
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.
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
Après avoir rappelé les définitions du lambda-calcul simplement typé et de ses modèles, nous présentons la notion d'observation définie par un modèle.
We recall the definitions of the simply-typed lambda-calculus and its models, and introduce the notion of observation induced by a model.
Il implémente un système de type, le lambda-Pi-Calcul Modulo, qui est une extension du lambda-calcul avec types dépendants avec des règles de réécriture du premier ordre.
It implements a type system, the lambda-Pi-Calculus Modulo, that is an extension of the dependently-typed lambda-calculus with first-order rewrite rules.
Il est fondé sur le principe de la logique combinatoire, une version du lambda-calcul qui omet l'opérateur lambda.
It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor du lambda- calcul in het Frans

Publiciteit

Suggesties

du lambda-calcul

Resultaten: 303. Exact: 1. Verstreken tijd: 176 ms.