2 papers
cs.LO2024
An Analysis of Symmetry in Quantitative Semantics
Pierre Clairambault, Simon Forest
In this paper, we build on a recent bicategorical model called thin spans of groupoids, introduced by Clairambault and Forest. Notably, thin spans feature a decomposition of symmet…
cs.LO2023
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…