Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A semantic account of strong normalization in Linear Logic   We prove that given two cut free nets of linear logic, by means of their
relational interpretations one can: 1) first determine whether or not the net
obtained by cutting the two nets is strongly normalizable 2) then (in case it
is strongly normalizable) compute the maximal length of the reduction sequences
starting from that net.

12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
6
The categories of this paper are: astro-ph
13
The categories of this paper are: quant-ph
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
9
The categories of this paper are: nlin