Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Iterators, Recursors and Interaction Nets   We propose a method for encoding iterators (and recursion operators in
general) using interaction nets (INs). There are two main applications for
this: the method can be used to obtain a visual nota- tion for functional
programs; and it can be used to extend the existing translations of the
lambda-calculus into INs to languages with recursive types.

29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol