Kenta Cho in nLab
Selected writings
Selected writings
On categorical semantics of quantum programming languages on von Neumann algebras
for the quantum lambda-calculus:
- Kenta Cho, Abraham Westerbaan, Von Neumann Algebras form a Model for the Quantum Lambda Calculus, QPL 2016 [arXiv:1603.02133, pdf, slides:pdf, pdf]
and for QPL:
- Kenta Cho, Semantics for a Quantum Programming Language by Operator Algebras, EPTCS 172 (2014) 165-190 [arXiv:1412.8545, doi:10.4204/EPTCS.172.12]
On CD-categories (gs-monoidal categories) and what came to be known as Markov categories (affine CD categories):
- Kenta Cho, Bart Jacobs, Disintegration and Bayesian inversion via string diagrams, Mathematical Structures in Computer Science 29 7 (2019) 938-971 [arXiv:1709.00322, doi:10.1017/S0960129518000488]
Last revised on February 8, 2025 at 14:41:39. See the history of this page for a list of all contributions to it.