Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Linear-algebraic lambda-calculus   With a view towards models of quantum computation and/or the interpretation
of linear logic, we define a functional language where all functions are linear
operators by construction. A small step operational semantic (and hence an
interpreter/simulator) is provided for this language in the form of a term
rewrite system. The linear-algebraic lambda-calculus hereby constructed is
linear in a different (yet related) sense to that, say, of the linear
lambda-calculus. These various notions of linearity are discussed in the
context of quantum programming languages. KEYWORDS: quantum lambda-calculus,
linear lambda-calculus, $\lambda$-calculus, quantum logics.

19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
32
The categories of this paper are: atom-ph
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio