Measurable Spaces and Their Effect Logic
From MaRDI portal
Publication:5271043
DOI10.1109/LICS.2013.13zbMath1433.03162MaRDI QIDQ5271043
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Probability and inductive logic (03B48) Categorical logic, topoi (03G30) Complemented lattices, orthocomplemented lattices and posets (06C15)
Related Items
On block structures in quantum computation, Continuity as a computational effect, The expectation monad in quantum foundations, From probability monads to commutative effectuses, Generic weakest precondition semantics from monads enriched with order, Dijkstra and Hoare monads in monadic computation, Unnamed Item, Unnamed Item, An effect-theoretic account of Lebesgue integration, Affine Monads and Side-Effect-Freeness, A Type Theory for Probabilistic and Bayesian Reasoning, A channel-based perspective on conjugate priors, Congruences of convex algebras., Stick breaking, in coalgebra and probability