Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: QPCF: higher order languages and quantum circuits   qPCF is a paradigmatic quantum programming language that ex- tends PCF with
quantum circuits and a quantum co-processor. Quantum circuits are treated as
classical data that can be duplicated and manipulated in flexible ways by means
of a dependent type system. The co-processor is essentially a standard QRAM
device, albeit we avoid to store permanently quantum states in between two
co-processor's calls. Despite its quantum features, qPCF retains the classic
programming approach of PCF. We introduce qPCF syntax, typing rules, and its
operational semantics. We prove fundamental properties of the system, such as
Preservation and Progress Theorems. Moreover, we provide some higher-order
examples of circuit encoding.

20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex