A tier-based typed programming language characterizing Feasible Functionals

Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion +1

The class of Basic Feasible Functionals BFF${}_2$ is the type-2 counterpart of the class FP of type-1 functions computable in polynomial time. Several characterizations have been sug…