Showing cs.LOShow all
2 papers · 1 filter
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
The Cartesian Closed Bicategory of Thin Spans of Groupoids
Pierre Clairambault, Simon Forest
Recently, there has been growing interest in bicategorical models of programming languages, which are "proof-relevant" in the sense that they keep distinct account of execution tra…