Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Complexity of Interaction (Long Version)   In this paper, we analyze the complexity of functional programs written in
the interaction-net computation model, an asynchronous, parallel and confluent
model that generalizes linear-logic proof nets. Employing user-defined sized
and scheduled types, we certify concrete time, space and space-time complexity
bounds for both sequential and parallel reductions of interaction-net programs
by suitably assigning complexity potentials to typed nodes. The relevance of
this approach is illustrated on archetypal programming examples. The provided
analysis is precise, compositional and is, in theory, not restricted to
particular complexity classes.

6
The categories of this paper are: astro-ph
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an