Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
the lambda-calculus
Vertaling van "the lambda-calculus" in Frans
le lambda-calcul
du lambda-calcul
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.
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.
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.
We define evaluation strategies ensuring the confluence of the calcalus and we show that these strategies become trivial for restrictioris of the general rewriting calculus to simpler calculi like the lambda-calculus.
Nous définissons des stratégies d'évaluation garantissant la confluence du calcul et nous montrons que ces stratégies deviennent triviales pour des restrictions du calcul de réécriture général à des calculs plus simples comme le lambda-calcul.
Abstract: This thesis deals with the management of explicit resources in functional languages, stressing on properties of calculi with explicit substitutions refining the lambda-calculus.
Résumé : Cette thèse s'articule autour de la gestion de ressources explicites dans les langages fonctionnels, en mettant l'accent sur des propriétés de calculs avec substitutions explicites raffinant le lambda-calcul.
Abstract: Concurrent constraint programming (CCP) is a mature linguistic formalism from the family of process calculi and hence it treats processes much like the lambda-calculus treats computable functions.
Résumé : La Programmation Concurrente par Contraintes (CCP) est un formalisme linguistique mature de la famille des algèbres de processus, il traite les processus de la même façon que le lambda-calcul traite les fonctions calculables.
Abstract: The lambda-calculus has been invented in 1936 by Alonzo Church as a way to formalize the notion of computation, and can be seen as an ancestor of today's programming languages.
Résumé : Le lambda-calcul a été inventé en 1936 par Alonzo Church pour formaliser la notion de calcul, et peut être considéré comme un ancêtre des langages de programmation d'aujourd'hui.
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.
This results from a long tradition of cross-fertilization with the lambda-calculus and automated reasoning research communities.
Ces résultats sont issus d'une longue tradition d'échanges entre les communautés de chercheurs (et chercheuses) en lambda-calcul et raisonnement automatique.
The introduction to the volume places the contributions in perspective and provides a gentle beginner's introduction to the lambda-calculus, which is and remains the backbone of the whole field.
L'introduction au volume place les contributions en perspective et offre une initiation rapide au lambda-calcul qui est et demeure l'épine dorsale de tout ce domaine de recherche.
We next propose a categorical semantics for the parallel lambda- calculus that is nothing but an extension of the lambda-calculus with term aggregation.
Nous examinons ensuite les modèles catégoriques du lambda-calcul parallèle qui peut être vu comme un enrichissement du lambda-calcul avec l'agrégation de termes.
All the primitive notions of first-order logic and set theory, including truth values, connectives and quantifiers, set-membership and set-equality, get a canonical interpretation as terms of the lambda-calculus with only a few term constants added.
Toutes les notions primitives de la logique du premier ordre et de la théorie des ensembles, valeurs de vérité, connecteurs, quantificateurs, appartenance et égalité, y sont traduites par des termes du lambda-calcul enrichi de quelques constantes.
To illustrate this, we give a very precise and formal proof of the correctness of KP, an abstract machine for lazy reduction of the lambda-calculus, using a calculus of explicit substitution and global adresses.
Dans ce cadre, nous donnons une preuve de correction très précise de KP, une machine abstraite de réduction paresseuse du lambda-calcul, en nous appuyant sur un calcul avec substitution explicite et adresses globales.
Synoniemen voor the lambda-calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 22. Exact: 22. Verstreken tijd: 42 ms.
