Resource-bounded continuity and sequentiality for type-two functionals
From MaRDI portal
Publication:5738961
DOI10.1145/507382.507387zbMath1365.03029OpenAlexW2177400022MaRDI QIDQ5738961
Bruce M. Kapron, Samuel R. Buss
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/507382.507387
Related Items
Game semantics approach to higher-order complexity, Type-two polynomial-time and restricted lookahead