QPEL: Quantum Program and Effect Language
Paper in proceedings, 2014

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.

type theory

quantum computing

effectus theory

Author

Robin Adams

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Electronic Proceedings in Theoretical Computer Science

2075-2180 (ISSN)

Vol. 172 133-153

11th Workshop on Quantum Physics and Logic, QPL 2014
Kyoto, Japan,

Subject Categories

Algebra and Logic

Computer Science

Areas of Advance

Information and Communication Technology

Roots

Basic sciences

DOI

10.4204/EPTCS.172.10

More information

Created

8/19/2018