Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards an embedding of Graph Transformation in Intuitionistic Linear
  Logic   Linear logics have been shown to be able to embed both rewriting-based
approaches and process calculi in a single, declarative framework. In this
paper we are exploring the embedding of double-pushout graph transformations
into quantified linear logic, leading to a Curry-Howard style isomorphism
between graphs and transformations on one hand, formulas and proof terms on the
other. With linear implication representing rules and reachability of graphs,
and the tensor modelling parallel composition of graphs and transformations, we
obtain a language able to encode graph transformation systems and their
computations as well as reason about their properties.

18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin