TY - RPRT TI - Well-founded Iterations of Infinite Time Turing Machines AU - Robert Lubarsky PY - 2015 UR - https://arxiv.org/abs/1510.00691 ID - 1510.00691 ER -