Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Aix-Marseille UniversitéFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
- Institute of Computer SciencePL1 paper
- Laboratoire d'Informatique de Paris-NordFR1 paper
- Laboratoire d’Informatique et SystèmesFR1 paper
- Sorbonne UniversitéFR1 paper
- Université de LorraineFR1 paper
- Université de RennesFR1 paper
- Université Sorbonne Paris NordFR1 paper
- University of WrocławPL1 paper
2 papers
cs.LO2024
Two-dimensional Kripke Semantics I: Presheaves
G. A. Kavvos
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory…
cs.LO2021
Disentangling Parallelism and Interference in Game Semantics
Simon Castellan, Pierre Clairambault
Game semantics is a denotational semantics presenting compositionally the computational behaviour of various kinds of effectful programs. One of its celebrated achievement is to ha…