TY - RPRT TI - Towards computable analysis on the generalised real line AU - Lorenzo Galeotti AU - Hugo Nobrega PY - 2017 UR - https://arxiv.org/abs/1704.02884 ID - 1704.02884 ER -