States of Convex Sets

DOI10.1007/978-3-662-46678-0_6zbMath1459.68068OpenAlexW1603296781MaRDI QIDQ2948553

Bram Westerbaan, Bas Westerbaan, Bart Jacobs

Publication date: 1 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46678-0_6

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Eilenberg-Moore and Kleisli constructions for monads (18C20) Quantum algorithms and complexity in the theory of computing (68Q12) Other nonclassical models of computation (68Q09)

Related Items (14)

Semantics of higher-order quantum computation via geometry of interaction ⋮ From probability monads to commutative effectuses ⋮ Total and Partial Computation in Categorical Quantum Foundations ⋮ Hypernormalisation in an abstract setting ⋮ A predicate/state transformer semantics for Bayesian learning ⋮ Affine Monads and Side-Effect-Freeness ⋮ A Type Theory for Probabilistic and Bayesian Reasoning ⋮ Unnamed Item ⋮ Complete positivity and natural representation of quantum computations ⋮ Termination in Convex Sets of Distributions ⋮ Unnamed Item ⋮ Disintegration and Bayesian inversion via string diagrams ⋮ Unnamed Item ⋮ A computer scientist’s reconstruction of quantum theory*

This page was built for publication: States of Convex Sets