Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Short proofs of strong normalization   This paper presents simple, syntactic strong normalization proofs for the
simply-typed lambda-calculus and the polymorphic lambda-calculus (system F)
with the full set of logical connectives, and all the permutative reductions.
The normalization proofs use translations of terms and types to systems, for
which strong normalization property is known.

0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
19
The categories of this paper are: eess
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
14
The categories of this paper are: math-ph