An Algebra of Pure Quantum Programming
From MaRDI portal
Publication:2864167
DOI10.1016/j.entcs.2006.12.010zbMath1277.68053arXivquant-ph/0506012WikidataQ61583864 ScholiaQ61583864MaRDI QIDQ2864167
Juliana Kaizer Vizzotto, Amr Sabry, Thorsten Altenkirch, Jonathan Grattage
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0506012
81P68: Quantum computation
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software