Logic in Computer Science, Symposium on (2000)

Santa Barbara, California

June 26, 2000 to June 29, 2000

ISSN: 1043-6871

ISBN: 0-7695-0725-5

pp: 77

Samuel R. Buss , University of California at San Diego

Bruce Kapron , University of Victoria

ABSTRACT

We define notions of resource-bounded continuity and sequentiality for type-two functionals with total inputs, and prove that in the resource-bounded model there are continuous functionals, 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.

INDEX TERMS

type-two functionals, continuity, sequentiality, higher-type complexity

CITATION

B. Kapron and S. R. Buss, "Resource-Bounded Continuity and Sequentiality for Type-Two Functionals,"

*Logic in Computer Science, Symposium on(LICS)*, Santa Barbara, California, 2000, pp. 77.

doi:10.1109/LICS.2000.855757

CITATIONS