nLab Kenta Cho

• personal page

• GoogleScholar page

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]

category: people