Publication details

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

Investor logo
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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info