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

Examples with "et 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.
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.

Andere resultaten

La représentation des changements de données est pris en charge par les types déplaçables et une extension du lambda calcul simplement typé avec dérivées et dérivées partielles offre un language pour raisonner sur l'incrementalité.
Displaceable types represent data-changes while an extension of the simply typed lambda calculus with differentials and partial derivatives offers a language to reason about incrementality.
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.
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.
Publiciteit

Resultaten: 204. Exact: 1. Verstreken tijd: 96 ms.