Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{608146, author = {Mlnařík, Hynek}, address = {Brno}, booktitle = {Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)}, keywords = {quantum programming language; categorical semantics}, language = {eng}, location = {Brno}, pages = {17-23}, publisher = {Faculty of Informatics, Masaryk University}, title = {Towards a Categorical Semantics of a High-level Quantum Programming Language}, year = {2005} }
TY - JOUR ID - 608146 AU - Mlnařík, Hynek PY - 2005 TI - Towards a Categorical Semantics of a High-level Quantum Programming Language PB - Faculty of Informatics, Masaryk University CY - Brno KW - quantum programming language KW - categorical semantics N2 - A proposal of a category which can serve for definition of a semantics of a programming language that combines both quantum and classical computations. ER -
MLNAŘÍK, Hynek. Towards a Categorical Semantics of a High-level Quantum Programming Language. In \textit{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.
|