Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Wave-Style Token Machines and Quantum Lambda Calculi (Long Version)   Particle-style token machines are a way to interpret proofs and programs,
when the latter are defined according to the principles of linear logic. In
this paper, we show that token machines also make sense when the programs at
hand are those of a simple linear quantum $\lambda$-calculus. This, however,
requires generalizing the concept of a token machine to one in which more than
one particle can possibly travel around the term at the same time. This is
intimately related to entanglement and allows to give a simple operational
semantics to the calculus coherently with the principles of quantum
computation.

19
The categories of this paper are: eess
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph