Zobrazeno 1 - 10 of 110 pro vyhledávání: '"Sémantique dénotationnelle"'
1
Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul
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
Zobrazit plný text záznamu
2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
4
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
5
Quantum Game Semantics
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
Zobrazit plný text záznamu
7
Sémantique opérationnelle des interactions pour la vérification d'exécutions partiellement observées de systèmes distribués
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
Zobrazit plný text záznamu
8
Intersection Types and Resource Calculi in the Denotational Semantics of Lambda-Calculus
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
Zobrazit plný text záznamu
9
Dissertation/ Thesis
Jeux concurrents enrichis : témoins pour les preuves et les ressources
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
Zobrazit plný text záznamu
10
Enriched concurrent games : witnesses for proofs and resource analysis
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
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje