859 citations
- Aix-Marseille UniversitéFR204 papers
- Centre National de la Recherche ScientifiqueFR180 papers
- Université de ToulonFR108 papers
- Institut Universitaire de FranceFR32 papers
- Centre de physique des particules de MarseilleFR30 papers
- Universitat de ValènciaES30 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR29 papers
- Université Paris-SaclayFR29 papers
- Université Paris-SudFR29 papers
- Institut Méditerranéen d’OcéanologieFR28 papers
- GéoazurFR27 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR27 papers
5 papers · 2 filters
Counterfactual Causality for Reachability and Safety based on Distance Functions
Julie Parreaux, Jakob Piribauer, Christel Baier
Investigations of causality in operational systems aim at providing human-understandable explanations of why a system behaves as it does. There is, in particular, a demand to expla…
Lifting star-autonomous structures
Luigi Santocanale, Cédric de Lacroix, Gregory Chichery
For a functor from a category to the category of ordered sets and order-preserving functions, we study liftings of various kind of structures from the base category $…
Extensional Taylor Expansion
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
We introduce a calculus of extensional resource terms. These are resource terms à la Ehrhard-Regnier, but in infinitely eta-long form. The calculus still retains a finite syntax an…
Strategies as Resource Terms, and their Categorical Semantics
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
As shown by Tsukada and Ong, simply-typed, normal and eta-long resource terms correspond to plays in Hyland-Ong games, quotiented by Melliès' homotopy equivalence. The original pro…
From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
Two families of denotational models have emerged from the semantic analysis of linear logic: dynamic models, typically presented as game semantics, and static models, typically bas…