Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A New Proof of P-time Completeness of Linear Lambda Calculus   We give a new proof of P-time completeness of Linear Lambda Calculus, which
was originally given by H. Mairson in 2003. Our proof uses an essentially
different Boolean type from the type Mairson used. Moreover the correctness of
our proof can be machined-checked using an implementation of Standard ML.

11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th