Towards a Categorical Semantics of a High-level Quantum Programming Language
Název česky | Kategorická sémantika kvantového programovacího jazyka vyššího úrovně |
---|---|
Autoři | |
Rok publikování | 2005 |
Druh | Článek ve sborníku |
Konference | Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005) |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Informatika |
Klíčová slova | quantum programming language; categorical semantics |
Popis | Návrh kategorie, která je vhodná pro definici sémantiky programovacího jazyka kombinující kvantové a klasické výpočty. |
Související projekty: |