scientific article; zbMATH DE number 7439411
From MaRDI portal
Publication:5015193
zbMath1477.03256arXiv1511.01570MaRDI QIDQ5015193
Kenta Cho, Bas Westerbaan, Bram Westerbaan, Bart Jacobs
Publication date: 6 December 2021
Full work available at URL: https://arxiv.org/abs/1511.01570
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Three characterisations of the sequential product ⋮ Total and Partial Computation in Categorical Quantum Foundations ⋮ Duality in non-abelian algebra. IV. Duality for groups and a universal isomorphism theorem ⋮ Pure Maps between Euclidean Jordan Algebras ⋮ A Type Theory for Probabilistic and Bayesian Reasoning ⋮ Sequential product spaces are Jordan algebras ⋮ A universal property for sequential measurement ⋮ A computer scientist’s reconstruction of quantum theory*
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Łukasiewicz logic and Riesz spaces.
- Introduction to extensive and distributive categories
- Categorical logic and type theory
- Algebraic foundations of many-valued reasoning
- On the form of subobjects in semi-abelian and regular protomodular categories
- Sequential quantum measurements
- A universal property for sequential measurement
- From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
- Quantum Computation and Quantum Information
- Homological Algebra
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Total and Partial Computation in Categorical Quantum Foundations
- Measurable Spaces and Their Effect Logic
- Duality for groups
- On vector lattice with a unit
This page was built for publication: