Joint work with Andre Lieutier Dassault Systemes Domain Theory and Differential Calculus Abbas Edalat Imperial College ae Oxford.
Domain Theory, Computational Geometry and Differential Calculus Abbas Edalat Imperial College London ae With contributions from Andre.