In this work we present a functional programming language for quantum computation over mixed states. More interestingly, we develop a set of equations for the resulting programming language, proposing the first framework for equational reasoning about quantum computations over mixed states. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Vizzotto, J. K., Librelotto, G. R., & Sabry, A. (2009). Reasoning about general quantum programs over mixed states. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5902 LNCS, pp. 321–335). Springer Verlag. https://doi.org/10.1007/978-3-642-10452-7_22
Mendeley helps you to discover research relevant for your work.