Resource-Bounded Continuity and Sequentiality for Type-Two Functionals

Samuel R. Buss, Bruce M. Kapron. Resource-Bounded Continuity and Sequentiality for Type-Two Functionals. In LICS. pages 77-83, 2000. [doi]

Abstract

Abstract is missing.