Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An affine-intuitionistic system of types and effects: confluence and
  termination   We present an affine-intuitionistic system of types and effects which can be
regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to
multi-threaded programs with effects. In the system, dynamically generated
values such as references or channels are abstracted into a finite set of
regions. We introduce a discipline of region usage that entails the confluence
(and hence determinacy) of the typable programs. Further, we show that a
discipline of region stratification guarantees termination.

14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
21
The categories of this paper are: adap-org
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int