Find in Library
Search millions of books, articles, and more
Indexed Open Access Databases
QPEL: Quantum Program and Effect Language
oleh: Robin Adams
Format: | Article |
---|---|
Diterbitkan: | Open Publishing Association 2014-12-01 |
Deskripsi
We present the syntax and rules of deduction of QPEL (Quantum Program and Effect Language), a language for describing both quantum programs, and properties of quantum programs - effects on the appropriate Hilbert space. We show how semantics may be given in terms of state-and-effect triangles, a categorical setting that allows semantics in terms of Hilbert spaces, C*-algebras, and other categories. We prove soundness and completeness results that show the derivable judgements are exactly those provable in all state-and-effect triangles.