Joint work with Andre Lieutier Dassault Systemes Domain Theory and Differential Calculus Abbas Edalat Imperial College ae Oxford.
Domain Theory and Multi-Variable Calculus Abbas Edalat Imperial College London ae Joint work with Andre Lieutier, Dirk Pattinson.