Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: \Sigma\Pi-polycategories, additive linear logic, and process semantics   We present a process semantics for the purely additive fragment of linear
logic in which formulas denote protocols and (equivalence classes of) proofs
denote multi-channel concurrent processes. The polycategorical model induced by
this process semantics is shown to be equivalent to the free polycategory based
on the syntax (i.e., it is full and faithfully complete). This establishes that
the additive fragment of linear logic provides a semantics of concurrent
processes. Another property of this semantics is that it gives a canonical
representation of proofs in additive linear logic.
  This arXived version omits Section 1.7.1: "Circuit diagrams for
polycategories" as the Xy-pic diagrams would not compile due to lack of memory.
For a complete version see "http://www.cpsc.ucalgary.ca/~pastroc/".

16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg