Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Resource-bounded continuity and sequentiality for type-two functionals

Resource-bounded continuity and sequentiality for type-two functionals 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Computational Logic (TOCL) Association for Computing Machinery

Resource-bounded continuity and sequentiality for type-two functionals

Download PDF
16 pages

Loading next page...
 
/lp/association-for-computing-machinery/resource-bounded-continuity-and-sequentiality-for-type-two-functionals-CkHx1Ymq6c

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Association for Computing Machinery
Copyright
Copyright © 2002 by ACM Inc.
ISSN
1529-3785
DOI
10.1145/507382.507387
Publisher site
See Article on Publisher Site

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.

Journal

ACM Transactions on Computational Logic (TOCL) – Association for Computing Machinery

Published: Jul 1, 2002

There are no references for this article.