QPEL: Quantum Program and Effect Language
Paper i proceeding, 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

Författare

Robin Adams

Chalmers, Data- och informationsteknik, Datavetenskap

Electronic Proceedings in Theoretical Computer Science

2075-2180 (ISSN)

Vol. 172 133-153

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

Ämneskategorier

Algebra och logik

Datavetenskap (datalogi)

Styrkeområden

Informations- och kommunikationsteknik

Fundament

Grundläggande vetenskaper

DOI

10.4204/EPTCS.172.10

Mer information

Skapat

2018-08-19