Type-two Iteration with Bounded Query Revision

Bruce M. Kapron, Florian Steinberg

Motivated by recent results of Kapron and Steinberg (LICS 2018) we introduce new forms of iteration on length in the setting of applied lambda-calculi for higher-type poly-time com…