Resource-Bounded Continuity and Sequentiality for Type-Two Functionals.

Samuel R. Buss, Bruce M. Kapron

Browse the full LICS paper archive.