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.
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 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.
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.
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.
The former gives rise to the calculus Ixr with explicit substitutions, weakenings and contractions that refines the lambda-calculus and beta-reduction.
Cette dernière donne lieu à un calcul de substitutions explicites avec affaiblissements et contractions, qui raffine la beta-reduction.
Abstract: Explicit substitutions have been introduced as a refinement of the lambda-calculus - the usual formalismused to study the semantic of programming languages.
Résumé : Les substitutions explicites ont été introduites comme un raffinement du lambda-calcul, celui-ci étant leformalisme utilisé pour étudier la sémantique des langages de programmation.
Synoniemen voor The lambda-calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 22. Exact: 22. Verstreken tijd: 43 ms.
