Domain Theory, Computational Geometry and Differential Calculus Abbas Edalat Imperial College London ae With contributions from Andre.