Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
a lambda calculus
Examples with "a lambda calculus" and their translation in Frans
Following the work done in the author's M.Sc. thesis, we study a lambda calculus for quantum computation with classical control.
S'appuyant sur les travaux de master (M.Sc.) de l'auteur, nous étudions un lambda-calcul pour le calcul quantique avec contrôle classique.
More specifically, we use the lambda-Pi-calculus modulo rewriting, a lambda calculus equipped with dependent types and term rewriting, as a language for defining logics and expressing proofs in those logics.
Plus précisément nous utilisons le lambda-Pi-calcul modulo réécriture, un lambda calcul équipé de types dépendants et de réécriture, comme langage pour définir des logiques et exprimer des preuves dans ces logiques.
More specifically, we use the lambda-Pi-calculus modulo rewriting, a lambda calculus equipped with dependent types and term rewriting, as a language for defining logics and expressing proofs in those logics.
Plus précisément nous utilisons le lambda-Pi-calcul modulo réécriture, un lambda calcul équipé de types dépendants et de réécriture, comme langage pour définir des logiques et exprimer des preuves dans ces logiques.
Andere resultaten
Abstract: The rewriting calculus is a lambda-calculus with pattern matching.
Résumé : Le calcul de réécriture est un lambda-calcul avec filtrage.
One of these procedure is then interpreted in terms of computation, as a refinement of the Curry-Howard correspondence allowing to introduce a form of sharing and communication operators in a lambda-calculus with explicit substitution.
L'une de ces procédures est alors interprétée en termes calculatoires, comme un raffinement de la correspondance de Curry-Howard permettant d'introduire une forme de partage ainsi que des opérateurs de communication dans un lambda-calcul avec substitution explicite.
Finally, another interpretation of proof-search is given through the encoding of reduction in a lambda-calculus with explicit substitution into the inference rules of a subsystem of intuitionistic logic in the calculus of
Enfin, une autre interprétation de la recherche de preuve est donnée par l'encodage de la réduction d'un lambda-calcul avec substitution explicite dans les règles d'inférence d'un sous-système de la logique intuitionniste dans le calcul des structures.
Besides the pure lambda-calculus itself, the variants are a λ-calculus with explicit substitutions and a lambda-calculus with constructors, matching and a fixpoint operator.
Outre le lambda-calcul lui-même, les variantes sont un lambda-calcul avec des substitutions explicites et un lambda-calcul avec des constructeurs, du filtrage et un opérateur de point fixe.
They constitute a bridge between lambda-calculus and programs.
Ils constituent ainsi un pont entre le lambda-calcul et les programmes.
In a first part, we extend the standard definition of Taylor expansion to a non-deterministic lambda-calculus.
Dans une première partie, nous étendons la définition standard du développement de Taylor à un lambda-calcul non-déterministe.
We build a linear extension of lambda-calculus, named barycentric-calculus, interpreted by the total semantics.
Puis, nous construisons une extension vectorielle du lambda-calcul, le calcul barycentrique, interprété par cette sémantique totale.
It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.
Il est fondé sur le principe de la logique combinatoire, une version du lambda-calcul qui omet l'opérateur lambda.
Abstract: The rewriting calculus, also called the rho-calculus, is a generalisation of the lambda-calculus with matching capabilities and term aggregation.
Résumé : Le calcul de réécriture ou rho-calcul est une généralisation du lambda-calcul avec filtrage et agrégation de termes.
In the third part, we define a prismoid of resources which generalise in a parametric way the lambda-calculus in the sense that not only the substitution can be explicit, but also the contraction and the weakening.
Dans la troisième partie de la thèse on définit un prisme des ressources qui généralise de manière paramétrique le lambda-calcul dans le sens où non seulement la substitution peut être explicite, mais également la contraction et l'affaiblissement.
Synoniemen voor a lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 514. Exact: 3. Verstreken tijd: 119 ms.
