A categorical method lifts free exponentials over double glueing for orthogonality categories and applies it to measure-theoretic transition kernels subsuming probabilistic coherent spaces.
Melli` es, Categorical semantics of linear logic, Panoramas et Synth` eses 27, Soci´ et´ e Math´ ematique de France 1-196 (2009)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2021 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Double Glueing over Free Exponential: with Measure Theoretic Applications
A categorical method lifts free exponentials over double glueing for orthogonality categories and applies it to measure-theoretic transition kernels subsuming probabilistic coherent spaces.