Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda-calculi
Vertaling van "lambda-calculi" in Frans
lambda-calculs
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.
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.
Andere resultaten
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.
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é.
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.
Synoniemen voor lambda-calculi in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 10. Exact: 5. Verstreken tijd: 37 ms.
