Type-two polynomial-time and restricted lookahead.

Bruce M. Kapron, Florian Steinberg

Browse the full LICS paper archive.