Towards a Categorical Semantics of a High-level Quantum Programming Language

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	MLNAŘÍK Hynek
Year of publication	2005
Type	Article in Proceedings
Conference	Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
MU Faculty or unit	Faculty of Informatics
Citation
Field	Informatics
Keywords	quantum programming language; categorical semantics
Description	A proposal of a category which can serve for definition of a semantics of a programming language that combines both quantum and classical computations.
Related projects:	Quantum Resources and primitives Highly Parallel and Distributed Computing Systems