Journal article:
Samuel R. Buss, Bruce M. Kapron.
"Resource-bounded Continuity and Sequentiality for Type-two
Functionals."
ACM Transactions on Computational Logic 3 (2002) 402-417.
Download journal article version: postscript or PDF.
Conference proceedings (earlier, shorter version).
Samuel R. Buss, Bruce M. Kapron.
"Resource-bounded Continuity and Sequentiality for Type-two
Functionals (Extended Abstract)."
Proceedings, 15th IEEE Symposium on Logic in Computer Science (LICS),
2000, pp. 77-83.
Abstract: We define notions of resource-bounded continuity and sequentiality for type-two functionals with total inputs, and prove there are continuous functions which cannot be efficiently simulated by sequential functionals. We also show that for some naturally defined classes of continuous functionals an efficient simulation is possible.
Download conference proceedings extended abstract: postscript or PDF.