|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
15 th Annual IEEE Symposium on Logic in Computer Science (LICS'00)
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals
Santa Barbara, California
June 26-June 29
ISBN: 0-7695-0725-5
| ASCII Text | x | ||
| Samuel R. Buss, Bruce Kapron, "Resource-Bounded Continuity and Sequentiality for Type-Two Functionals," Logic in Computer Science, Symposium on, pp. 77, 15 th Annual IEEE Symposium on Logic in Computer Science (LICS'00), 2000. | |||
| BibTex | x | ||
| @article{ 10.1109/LICS.2000.855757, author = {Samuel R. Buss and Bruce Kapron}, title = {Resource-Bounded Continuity and Sequentiality for Type-Two Functionals}, journal ={Logic in Computer Science, Symposium on}, volume = {0}, year = {2000}, issn = {1043-6871}, pages = {77}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2000.855757}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Logic in Computer Science, Symposium on TI - Resource-Bounded Continuity and Sequentiality for Type-Two Functionals SN - 1043-6871 SP EP A1 - Samuel R. Buss, A1 - Bruce Kapron, PY - 2000 KW - type-two functionals KW - continuity KW - sequentiality KW - higher-type complexity VL - 0 JA - Logic in Computer Science, Symposium on ER - | |||
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:
Samuel R. Buss, Bruce Kapron, "Resource-Bounded Continuity and Sequentiality for Type-Two Functionals," lics, pp.77, 15 th Annual IEEE Symposium on Logic in Computer Science (LICS'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.