4 citations · 4 across the 1 of their papers we have counts for
2 papers
quant-ph2019★ 4 cited
Effectuses in Categorical Quantum Foundations
Kenta Cho
This thesis develops the theory of effectuses as a categorical axiomatic approach to quantum theory. It provides a comprehensive introduction to effectus theory and reveals its con…
cs.LO2016
Von Neumann Algebras form a Model for the Quantum Lambda Calculus
Kenta Cho, Abraham Westerbaan
We present a model of Selinger and Valiron's quantum lambda calculus based on von Neumann algebras, and show that the model is adequate with respect to the operational semantics.