Conference
Reasoning about General Quantum Programs over Mixed States
Abstract
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.
Authors
Vizzotto JK; Librelotto GR; Sabry A
Series
Lecture Notes in Computer Science
Volume
5902
Pagination
pp. 321-335
Publisher
Springer Nature
Publication Date
2009
DOI
10.1007/978-3-642-10452-7_22
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743