@InProceedings{pavlovic:DagSemProc.09311.2, author = {Pavlovic, Dusko}, title = {{Geometry of abstraction in quantum computation}}, booktitle = {Classical and Quantum Information Assurance Foundations and Practice}, pages = {1--28}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9311}, editor = {Samual L. Braunstein and Hoi-Kwong Lo and Kenny Paterson and Peter Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09311.2}, URN = {urn:nbn:de:0030-drops-23623}, doi = {10.4230/DagSemProc.09311.2}, annote = {Keywords: Quantum algorithms, categorical semantics, Frobenius algebra, classical structure} }