Some applications of logic to feasibility in higher types

Aleksandar Ignjatovic, Arun Sharma

In this paper we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalize the corresponding properties of the class of…