Type-two polynomial-time and restricted lookahead

Bruce M. Kapron, Florian Steinberg. Type-two polynomial-time and restricted lookahead. Theoretical Computer Science, 813:1-19, 2020. [doi]

Abstract

Abstract is missing.