Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: QPEL: Quantum Program and Effect Language   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.

25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
2
The categories of this paper are: math
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
32
The categories of this paper are: atom-ph
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph