Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Cons-free Programming with Immutable Functions   We investigate the power of non-determinism in purely functional programming
languages with higher-order types. Specifically, we set out to characterise the
hierarchy NP $\subseteq$ NEXP $\subseteq$ NEXP$^{(2)}$ $\subseteq \cdots
\subseteq$ NEXP$^{(k)}$ $\subseteq \cdots$ solely in terms of higher-typed,
purely functional programs. Although the work is incomplete, we present an
initial approach using cons-free programs with immutable functions.

4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th