Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Multiplicative Linear Logic, Modality and Quantum Circuits   A logical system derived from linear logic and called QMLL is introduced and
shown able to capture all unitary quantum circuits. Conversely, any proof is
shown to compute, through a concrete GoI interpretation, some quantum circuits.
The system QMLL, which enjoys cut-elimination, is obtained by endowing
multiplicative linear logic with a quantum modality.

28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc