使用不可变函数的无 cons 编程

我们研究具有高阶类型的纯函数式编程语言中非确定性的能力。具体而言，我们着手仅用高阶、纯函数式程序来刻画谱系 NP $\subseteq$ NEXP $\subseteq$ NEXP$^{(2)}$ $\subseteq \cdots \subseteq$ NEXP$^{(k)}$ $\subseteq \cdots$。尽管工作尚不完整，我们提出了一种使用带不可变函数的无 cons 程序的初步方法。