1 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03588308 ; Informatique et langage [cs.CL]. Université Montpellier, 2021. Français. ⟨NNT : 2021MONTS064⟩ (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Concurrent Game Semantics: Easy as Pi
|
|
|
|
In: https://hal.inria.fr/hal-03128187 ; [Research Report] Inria. 2020 (2020)
|
|
Abstract:
Game semantics has proven to be a robust method to give compositional semantics for a variety of programming languages. However, its complexity makes it inaccessible for nonexperts. In this paper, we aim at making game semantics more accessible by decomposing it into two steps. The first is a syntactic translation into a session typed π-calculus, the metalanguage, which explicits a protocol for an open program to communicate with its context. The second is a semantic interpretation of the metalanguage. The syntactic translation can be defined without knowledge of the particular model used, and different models of the metalanguage (traces, partial orders) yield different reasoning powers. Moreover, simple reasoning on the model (soundness and adequacy) can be done at the level of the metalanguage, escaping tedious proofs usually found in game semantics. We call this methodology programming game semantics. We design a metalanguage (π DiLL) inspired from Differential Linear Logic, meant to correspond to strategies in concurrent game semantics. We translate ML , an extension of Mini-ML with shared memory concurrency, into π DiLL and show that the translation is sound and adequate. We then describe a causal and non-angelic game model using event structures, which supports a fully-abstract interpretation of π DiLL. Combining both results, we obtain the first compositional model of a concurrent higherorder language, which is sound and adequate, and fully abstract on second-order terms, for weak bisimulation. We have implemented a prototype which can explore the generated causal object from a subset of OCaml.
|
|
Keyword:
-calculus; [INFO]Computer Science [cs]; Event structures; Game semantics; Linear Logic; Session types
|
|
URL: https://hal.inria.fr/hal-03128187/document https://hal.inria.fr/hal-03128187/file/2011.05248.pdf https://hal.inria.fr/hal-03128187
|
|
BASE
|
|
Hide details
|
|
5 |
Natural language understanding in argumentative dialogue systems ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Conventions and Change in Semantics
|
|
|
|
In: http://rave.ohiolink.edu/etdc/view?acc_num=osu1555334547254546 (2019)
|
|
BASE
|
|
Show details
|
|
8 |
Sprechen, Spielen, Spaß. Wie können sprachauffällige Kinder im Unterricht gefördert werden?
|
|
|
|
In: Jungmann, Tanja [Hrsg.]; Gierschner, Beate [Hrsg.]; Meindl, Marlene [Hrsg.]; Sallat, Stephan [Hrsg.]: Sprach- und Bildungshorizonte. Wahrnehmen - Beschreiben - Erweitern. Idstein : Schulz-Kirchner Verlag 2018, S. 225-233. - (Sprachheilpädagogik aktuell; 3) (2018)
|
|
BASE
|
|
Show details
|
|
9 |
Sprechen, Spielen, Spaß. Wie können sprachauffällige Kinder im Unterricht gefördert werden? ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
О некоторых особенностях формирования диатезы в языковой игре
|
|
|
|
BASE
|
|
Show details
|
|
12 |
ВЕРБАЛЬНЫЙ КОМПОНЕНТ СИНТЕТИЧЕСКОЙ ЯЗЫКОВОЙ ЛИЧНОСТИ В РУССКОЙ ЛИТЕРАТУРЕ НОНСЕНСА КОНЦА ХХ ВЕКА
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory
|
|
|
|
In: Epistemology, Knowledge and the Impact of Interaction ; https://halshs.archives-ouvertes.fr/halshs-01227833 ; Epistemology, Knowledge and the Impact of Interaction, Springer, 2016 ; http://www.springer.com/us/book/9783319265049 (2016)
|
|
BASE
|
|
Show details
|
|
14 |
Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-01400666 ; Logique en informatique [cs.LO]. Université Grenoble Alpes, 2016 (2016)
|
|
BASE
|
|
Show details
|
|
15 |
Karl Valentin und die Verhandelbarkeit des sprachlichen Ausdrucks ... : Karl Valentin and the negotiability of human lanugage ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
ВЗАИМОДЕЙСТВИЕ ФОРМЫ И СОДЕРЖАНИЯ В РЕКЛАМНОМ И ХУДОЖЕСТВЕННОМ ДИСКУРСАХ
|
|
|
|
BASE
|
|
Show details
|
|
|
|