Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Sémantique dénotationnelle"'
Autor:
Mahe, Erwan
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPAST062⟩
Interactions represent asynchronous communications in a distributed context and can be represented graphically in an intuitive manner while allowing the specification of precise scheduling policies for ordering events. In this thesis, we formalize su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ba7e45a7b0ecff26c576c0377787e46
https://tel.archives-ouvertes.fr/tel-03369906/file/2021UPAST062_MAHE_archivage.pdf
https://tel.archives-ouvertes.fr/tel-03369906/file/2021UPAST062_MAHE_archivage.pdf
Autor:
Olimpieri, Federico
Publikováno v:
Mathematics [math]. Aix-Marseille Université, 2020. English. ⟨NNT : ⟩
This thesis studies the notion of approximation in lambda-calculus from differentperspectives.Ehrhard and Regnier introduced the Taylor expansion of lambda-terms: onecan see a lambda-term as an infinite formal sum of its linear approximants. Another
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6aa433e836f993b884fc227c4e247e65
https://theses.hal.science/tel-03123485
https://theses.hal.science/tel-03123485
Autor:
De Visme, Marc
Publikováno v:
Logic in Computer Science [cs.LO]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN056⟩
In this thesis, we study quantum programming languages, and focus on the quantum lambda-calculus, a paradigmatic language defined by Selinger and Valiron, which mixes a rich classical control flow (higher order functions, etc.) and quantum data (qubi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6f1c8fda4863b5e0de0f16e6e87d338e
https://theses.hal.science/tel-03045844/file/DE_VISME_Marc_2020LYSEN056_These.pdf
https://theses.hal.science/tel-03045844/file/DE_VISME_Marc_2020LYSEN056_These.pdf
Autor:
Olimpieri, Federico
Publikováno v:
Mathematics [math]. Aix-Marseille Université, 2020. English
This thesis studies the notion of approximation in lambda-calculus from differentperspectives.Ehrhard and Regnier introduced the Taylor expansion of lambda-terms: onecan see a lambda-term as an infinite formal sum of its linear approximants. Another
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::14fe7553e74ca1d4d89ef3115fdbadd0
https://theses.hal.science/tel-03123485
https://theses.hal.science/tel-03123485
Autor:
Alcolei, Aurore
La sémantique des jeux est une sémantique dénotationnelle centrée sur l’interaction : preuves et programmes y sont représentés par des stratégies modélisant, par le flot d’exécution, leur manière de réagir à leur environnement. Malgr
Externí odkaz:
http://www.theses.fr/2019LYSEN054/document
Autor:
Geoffroy, Guillaume
La réalisabilité classique de Jean-Louis Krivine associe à chaque modèle de calcul et chaque modèle de la théorie des ensembles un nouveau modèle de la théorie des ensembles, appelé modèle de réalisabilité, d'une façon similaire au forci
Externí odkaz:
http://www.theses.fr/2019AIXM0099/document
Autor:
Alcolei, Aurore
This thesis presents a general framework for enriching causal concurrent games model with annotations. These annotations can be viewed as meta-data on strategies: they are modified throughout interactions but do not affect their general flow of contr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::534e3ed2dabce5b76e91960c7e254e88
https://theses.hal.science/tel-02448974
https://theses.hal.science/tel-02448974
Autor:
Kerjean, Marie
La théorie de la preuve se développe depuis la correspondance de Curry-Howard suivant deux sources d’inspirations : les langages de programmation, pour lesquels elle agit comme une théorie des types de données, et l’étude sémantique des pre
Externí odkaz:
http://www.theses.fr/2018USPCC144/document
Autor:
Castellan, Simon
La sémantique des jeux permet l'étude et la modélisation abstraite des langages de programmation d'un point de vue mathématique, en gardant assez d'informations concrètes sur la structure des programmes, mais en laissant de côté les détails s
Externí odkaz:
http://www.theses.fr/2017LYSEN034/document
Autor:
Tom Hirschowitz
Publikováno v:
Logique en informatique [cs.LO]. Université Grenoble Alpes, 2016
HAL
HAL
Le fil directeur de ce manuscrit réside dans la volonté demathématiser l'activité des chercheurs en programmation. Exactementcomme la définition de groupe a émergé d'une quantité suffisante decas particuliers, on y tente d'abstraire et de gé
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7fba41b1aa0cfbb2c46fac8d185c0ddd
https://hal.archives-ouvertes.fr/tel-01400666/file/hdr.pdf
https://hal.archives-ouvertes.fr/tel-01400666/file/hdr.pdf