@misc{indiciae4f45e0a8b9da, title = {Type-two polynomial-time and restricted lookahead}, author = {Bruce M. Kapron and Florian Steinberg}, year = {2020}, doi = {10.1016/j.tcs.2019.07.003}, url = {https://arxiv.org/abs/1801.07485}, note = {Source identifier: 1801.07485} }