Výpis publikací

MLNAŘÍK, Hynek. Semantics of quantum programming language LanQ. International Journal of Quantum Information. World Scientific, 2008, roč. 6, 1 supp, s. 733-738. ISSN 0219-7499.

MLNAŘÍK, Hynek. Quantum Programming Language LanQ. 2007.

MLNAŘÍK, Hynek. LanQ - an Imperative Quantum Programming Language. In MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Information Technology, Brno University of Technology, 2006, s. 113-120. ISBN 80-214-3287-X.

MLNAŘÍK, Hynek. Operational Semantics of Quantum Programming Language LanQ. Brno: FI MU, 2006, 43 s. Technical Reports.

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.