Cho, Kenta
- An Introduction to Effectus Theory
2015/12/17 by Cho, Kenta, Jacobs, Bart, Westerbaan, Bas +1 · 3 citations
#FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- Von Neumann Algebras form a Model for the Quantum Lambda Calculus
2016/03/07 by Cho, Kenta, Westerbaan, Abraham · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Operator Algebras (math.OA) #Quantum Physics (quant-ph)
- Effectuses in Categorical Quantum Foundations
2019/10/27 by Kenta Cho, Cho, Kenta · 1 citation
Chemistry · Computer Science · Physics and Astronomy · #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #History and advancements in chemistry #Logic in Computer Science (cs.LO) #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum Physics (quant-ph)