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

MLNAŘÍK, Hynek. Towards a Categorical Semantics of a High-level Quantum Programming Language. In Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics, Masaryk University, 2005, s. 17-23.

Základní údaje

Originální název

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

Vydání

Brno, Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005), od s. 17-23, 7 s. 2005

Nakladatel

Faculty of Informatics, Masaryk University

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/05:00013063

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

quantum programming language; categorical semantics

Štítky

categorical semantics, quantum programming language

---

Anotace

V originále

A proposal of a category which can serve for definition of a semantics of a programming language that combines both quantum and classical computations.

Česky

Návrh kategorie, která je vhodná pro definici sémantiky programovacího jazyka kombinující kvantové a klasické výpočty.

---

Návaznosti

GA201/04/1153, projekt VaV	Název: Kvantové zdroje a primitiva Investor: Grantová agentura ČR, Kvantové zdroje a primitiva
MSM0021622419, záměr	Název: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy