Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: From nominal to higher-order rewriting and back again   We present a translation function from nominal rewriting systems (NRSs) to
combinatory reduction systems (CRSs), transforming closed nominal rules and
ground nominal terms to CRSs rules and terms, respectively, while preserving
the rewriting relation. We also provide a reduction-preserving translation in
the other direction, from CRSs to NRSs, improving over a previously defined
translation. These tools, together with existing translations between CRSs and
other higher-order rewriting formalisms, open up the path for a transfer of
results between higher-order and nominal rewriting. In particular, techniques
and properties of the rewriting relation, such as termination, can be exported
from one formalism to the other.

34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
18
The categories of this paper are: econ
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
2
The categories of this paper are: math