@Inproceedings{EPTCS298.5, author = {Kapron, Bruce M. and Steinberg, Florian}, year = {2019}, title = {Type-two Iteration with Bounded Query Revision}, editor = {Seiller, Thomas and Jost, Steffen}, booktitle = {{\rm Proceedings Third Joint Workshop on} Developments in Implicit Computational complExity {\rm and} Foundational \& Practical Aspects of Resource Analysis, {\rm Prague, Czech Republic, 6.4.2019 - 7.4.2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {298}, publisher = {Open Publishing Association}, pages = {61-73}, doi = {10.4204/EPTCS.298.5}, }