A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces

DOI10.1016/j.ic.2023.105109arXiv1909.07589OpenAlexW4387613857MaRDI QIDQ6145528

Masahiro Hamano

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

zbMATH Keywords

linear logicorthogonalitymeasure theorytransition kernelsstochastic relationscategorical modellinear exponential comonaddouble glueingexponential measurable spaceprobabilistic denotational semanticss-finitetight orthogonality category

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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