Publication details
Towards a Categorical Semantics of a High-level Quantum Programming Language
Authors | |
---|---|
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 | |
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: |