Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda calculi
Geflecteerde vorm van lambda calculus
Examples with "lambda calculi" and their translation in Frans
The mathematical tools used are the confluence of formal logic and formal language theory, especially typed lambda calculi.
Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé.
Scott-continuous functions show up in the study of models for lambda calculi and the denotational semantics of computer programs.
Les fonctions continues de Scott apparaissent dans l'étude de modèles pour les calculs lambda et la sémantique dénotationnelle des programmes informatiques.
Andere resultaten
Next, we study strong normalization proofs of typed lambda-calculi that use the reducibility technique.
Ensuite nous nous intéressons aux preuves de normalisation forte de lambda-calculs typés utilisant la technique de réductibilité.
We also show that for typed lambda-calculi, confluence of the beta-eta reduction is a logical and not a combinatorial property.
A ce titre, nous présentons également quelques résultats nouveaux sur des systèmes non-normalisants qui montrent que pour des lambda-calculs typés, la propriété de confluence est logique et non combinatoire.
The first part of this thesis focuses on the study of this calculus, a pi-calculus with preorders on names.The second part of this thesis focuses on bisimulation, a proof method for equivalence of agents in higher-order languages, like the pi- or the lambda-calculi.
La première partie de la thèse se concentre sur l'étude de ce calcul.La deuxième partie de la thèse se concentre sur la bisimulation, une méthode pour établir l'équivalence de deux agents dans des langages d'ordre supérieur, par exemple le pi-calcul ou le lambda-calcul.
An operational approach leads us to define BSP lambda-calculi (the BSP model adds a notion of explicit process to data-parallelism) that are confluent and universal for BSP algorithms.
Une approche opérationnelle nous a amené à définir des calculs BSP (le modèle BSP ajoute une notion de processus explicites au parallélisme de données) confluents et universels pour les algorithmes BSP.
This concerns the notion of ordering within typed [lambda]-calculi.
D'autre part, nous avons entamé une recherche plus fondamentale concernant la représentation de la notion d'ordre dans les [lambda]-calculs typés.
The first part of this dissertation studies bisimulation-based notions of equivalence and refinement for $\lambda$-calculi enriched with algebraic effects.
La première partie de cette thèse étudie les notions d'équivalence et de raffinement basées sur la bisimulation pour les calculs riches en effets algébriques.
Abstract: Our concern in the thesis is in the study of orders, through the analysis of complexity within rewriting, but also through the construction of monotonous [lambda]-calculi within the framework of ordinal terms, and subrecursivc hierarchies.
Résumé : Le thème de la thèse concerne l'étude des ordres, en termes de complexité en réécriture, mais aussi dans le cadre des termes ordinaux, des hiérarchies de fonctions sous-récursives.
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.
French description 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.
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.
In the first part, we are concerned with the preservation property of beta-strong normalisation (PSN) for the lambda s-calculus, a language among the eight calculi of the prismoid of resources defined thereafter.
Dans une première partie, on s'intéresse à la propriété de préservation de la beta-normalisation forte (PSN) pour le calcul lambda s. Dans une seconde partie, on étudie la propriété de confluence pour un large ensemble de calculs avec substitutions explicites.
Synoniemen voor lambda calculi in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 16. Exact: 2. Verstreken tijd: 31 ms.
