@Inproceedings{EPTCS172.12, author = {Cho, Kenta}, year = {2014}, title = {Semantics for a Quantum Programming Language by Operator Algebras}, editor = {Coecke, Bob and Hasuo, Ichiro and Panangaden, Prakash}, booktitle = {{\rm Proceedings of the 11th workshop on} Quantum Physics and Logic, {\rm Kyoto, Japan, 4-6th June 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {172}, publisher = {Open Publishing Association}, pages = {165-190}, doi = {10.4204/EPTCS.172.12}, }