Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computational Adequacy for Substructural Lambda Calculi   Substructural type systems, such as affine (and linear) type systems, are
type systems which impose restrictions on copying (and discarding) of
variables, and they have found many applications in computer science, including
quantum programming. We describe one linear and one affine type systems and we
formulate abstract categorical models for both of them which are sound and
computationally adequate. We also show, under basic assumptions, that
interpreting lambda abstractions via a monoidal closed structure (a popular
method for linear type systems) necessarily leads to degenerate and inadequate
models for call-by-value affine type systems with recursion. In our categorical
treatment, a solution to this problem is clearly presented. Our categorical
models are more general than linear/non-linear models used to study linear
logic and we present a homogeneous categorical account of both linear and
affine type systems in a call-by-value setting. We also give examples with many
concrete models, including classical and quantum ones.

6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg