Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An infinitary model of linear logic   In this paper, we construct an infinitary variant of the relational model of
linear logic, where the exponential modality is interpreted as the set of
finite or countable multisets. We explain how to interpret in this model the
fixpoint operator Y as a Conway operator alternatively defined in an inductive
or a coinductive way. We then extend the relational semantics with a notion of
color or priority in the sense of parity games. This extension enables us to
define a new fixpoint operator Y combining both inductive and coinductive
policies. We conclude the paper by sketching the connection between the
resulting model of lambda-calculus with recursion and higher-order
model-checking.

20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph