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