Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Weak Affine Light Typing: Polytime intensional expressivity, soundness
  and completeness   Weak affine light typing (WALT) assigns light affine linear formulae as types
to a subset of lambda-terms in System F. WALT is poly-time sound: if a
lambda-term M has type in WALT, M can be evaluated with a polynomial cost in
the dimension of the derivation that gives it a type. In particular, the
evaluation can proceed under any strategy of a rewriting relation, obtained as
a mix of both call-by-name/call-by-value beta-reductions. WALT is poly-time
complete since it can represent any poly-time Turing machine. WALT weakens,
namely generalizes, the notion of stratification of deductions common to some
Light Systems -- we call as such those logical systems, derived from Linear
logic, to characterize FP, the set of Polynomial functions -- . A weaker
stratification allows to define a compositional embedding of the Quasi-linear
fragment QlSRN of Safe recursion on notation (SRN) into WALT. QlSRN is SRN,
which is a recursive-theoretical system characterizing FP, where only the
composition scheme is restricted to linear safe variables. So, the expressivity
of WALT is stronger, as compared to the known Light Systems. In particular,
using the types, the embedding puts in evidence the stratification of normal
and safe arguments hidden in QlSRN: the less an argument is impredicative, the
deeper, in a formal, proof-theoretical sense, gets its representation in WALT.

27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th