×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [scott topology]
Home >
scott topology
Joint work with Andre Lieutier Dassault Systemes Domain Theoretic Models of Geometry and Differential Calculus Abbas Edalat Imperial College ae.
215 views
Joint work with Andre Lieutier Dassault Systemes Domain Theory and Differential Calculus Abbas Edalat Imperial College ae Oxford.
216 views
Lawson Topology
27 views
Domain Theory, Computational Geometry and Differential Calculus Abbas Edalat Imperial College London ae With contributions from Andre.
224 views
Scott Closed Set Lattices And Applications 1. Some preliminaries 2. Dcpo-completion 3. Equivalence between CONP and CDL 4. The Hoare power domain 5. Scott.
213 views