Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Vectorial Lambda Calculus Revisited   We revisit the Vectorial Lambda Calculus, a typed version of Lineal.
Vectorial (as well as Lineal) has been originally designed for quantum
computing, as an extension to System F where linear combinations of lambda
terms are also terms and linear combinations of types are also types. In its
first presentation, Vectorial only provides a weakened version of the Subject
Reduction property. We prove that our revised Vectorial Lambda Calculus
supports the standard version of said property, answering a long standing
issue. In addition we also introduce the concept of weight of types and terms,
and prove a relation between the weight of terms and of its types.

15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
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
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys