Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
in the lambda-calculus
Examples with "in the lambda-calculus" and their translation in Frans
We follow a general approach where computing with coercions can be seen as computing in the lambda-calculus but keeping track of which parts of terms are coercions.
Nous suivons une approche générale où le calcul avec des coercions peut être vu comme une réduction dans le lambda-calcul gardant trace de la partie des termes qui sont des coercions.
It has been proved that the Krivine machine implements correctly the call by name head normal form reduction in the lambda-calculus.
Il a été démontré que la machine de Krivine implante correctement la réduction en forme normale de tête du lambda-calcul, par appel par nom.
Hide details en fr Abstract: We examine security properties in the lambda-calculus through the labelled lambda-calculus.
Résumé : Nous examinons les propriétés de sécurité du lambda-calcul au travers du prisme du lambda-calcul étiqueté.
Andere resultaten
Data can nevertheless be simulated with appropriate functions as in the lambda calculus.
L'utilisateur peut cependant simuler d'autres données en appelant des fonctions adéquates, comme en lambda-calcul.
Alonzo Church in the lambda calculus.
Alonzo Church, avec une théorie appelé le lambda-calcul.
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.
functional programming, in fact, a long time before computers by a logician called Alonzo Church in the lambda calculus.
Par un logicien appelé Alonzo Church, avec une théorie appelé le lambda-calcul. Cette théorie a été établi dans les 1930.
The models we study are in the process calculus and lambda-calculus tradition.
Les modèles que nous étudions sont dans la tradition des calculs de processus et du lambda-calcul.
Super-promotion can be expressed in the syntax of lambda-calculus with resources or in Systems of nets.
Cette construction peut être exprimée dans la syntaxe du lambda-calcul avec ressources ou dans un système de réseaux.
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.
The property of context irreversibility holds in the labelled lambda-calculus: once a context is involved in a reduction, it irreversibly disappears in the remaining of the reduction.
Nous montrons que le lambda-calcul étiqueté vérifie la propriété d'irréversibilité des contextes: une fois qu'un contexte est intervenu dans une réduction, il disparaît irréversiblement dans la suite de cette réduction.
The contributions of this work are the formalization, in the Simply Typed Lambda Calculus, of two mechanisms to achieve efficiency: to validate impure computations and to optimize computations by incrementality.
Les contributions de cette thèse sont la formalisation, dans le lambda calcul simplement typé, de deux mécanismes pour améliorer l'efficacité : la validation des calculs impurs et l'optimisation des calculs incrémentaux.
Type theory is based on the lambda calculus which is purely functional.
La théorie des types est basée sur le lambda calcul qui est purement fonctionnel.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 175. Exact: 3. Verstreken tijd: 97 ms.
