@Inproceedings{EPTCS236.4, author = {Gogioso, Stefano and Genovese, Fabrizio}, year = {2017}, title = {Infinite-dimensional Categorical Quantum Mechanics}, editor = {Duncan, Ross and Heunen, Chris}, booktitle = {{\rm Proceedings 13th International Conference on} Quantum Physics and Logic, {\rm Glasgow, Scotland, 6-10 June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {236}, publisher = {Open Publishing Association}, pages = {51-69}, doi = {10.4204/EPTCS.236.4}, }