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: MLNAŘÍK Hynek
• 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: Fakulta informatiky
• 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

• Kvantové zdroje a primitiva
• Vysoce paralelní a distribuované výpočetní systémy