A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
From MaRDI portal
Publication:6145528
DOI10.1016/J.IC.2023.105109arXiv1909.07589OpenAlexW4387613857MaRDI QIDQ6145528
Publication date: 2 February 2024
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1909.07589
linear logicorthogonalitymeasure theorytransition kernelsstochastic relationscategorical modellinear exponential comonaddouble glueingexponential measurable spaceprobabilistic denotational semanticss-finitetight orthogonality category
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Linear logic
- Probability theory. Translated from the German by Robert B. Burckel
- Glueing and orthogonality for models of linear logic
- Coherent Banach spaces: A continuous denotational semantics
- Bayesian strategies: probabilistic programs as generalised graphical models
- A lambda-calculus foundation for universal probabilistic programming
- The Free Exponential Modality of Probabilistic Coherence Spaces
- Commutative Semantics for Probabilistic Programming
- Unique decomposition categories, Geometry of Interaction and combinatory logic
- Full Abstraction for Probabilistic PCF
- Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets
- Semantics for probabilistic programming
- On Köthe sequence spaces and linear logic
- Traced monoidal categories
- Probabilistic Stable Functions on Discrete Cones are Power Series
- Cones as a model of intuitionistic linear logic
- Weighted Relational Models of Typed Lambda-Calculi
- Exponential spaces and counting processes
- Finiteness spaces
- Measure Transformer Semantics for Bayesian Machine Learning
This page was built for publication: A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
