A categorical method lifts free exponentials over double glueing for orthogonality categories and applies it to measure-theoretic transition kernels subsuming probabilistic coherent spaces.
Staton, Commutative Semantics for Probabilistic Programming, In 26th European Symposium on Programming, LNCS (10201) 855-879 (2017)
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.