Towards Computable Analysis on the Generalised Real Line Hugo Nobrega 12/5/2017 Hugo Nobrega Professor