TY - RPRT TI - Discrete Transfinite Computation AU - Philip Welch PY - 2014 UR - https://arxiv.org/abs/1409.5052 ID - 1409.5052 ER -