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, p. 17-23.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Towards a Categorical Semantics of a High-level Quantum Programming Language
Name in Czech Kategorická sémantika kvantového programovacího jazyka vyššího úrovně
Authors MLNAŘÍK, Hynek (203 Czech Republic, guarantor).
Edition Brno, Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005), p. 17-23, 7 pp. 2005.
Publisher Faculty of Informatics, Masaryk University
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/05:00013063
Organization unit Faculty of Informatics
Keywords in English quantum programming language; categorical semantics
Tags categorical semantics, quantum programming language
Changed by Changed by: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Changed: 21/11/2006 10:21.
Abstract
A proposal of a category which can serve for definition of a semantics of a programming language that combines both quantum and classical computations.
Abstract (in Czech)
Návrh kategorie, která je vhodná pro definici sémantiky programovacího jazyka kombinující kvantové a klasické výpočty.
Links
GA201/04/1153, research and development projectName: Kvantové zdroje a primitiva
Investor: Czech Science Foundation, Quantum Resources and primitives
MSM0021622419, plan (intention)Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
PrintDisplayed: 13/10/2024 02:46