|
20
|
A new category? Domains, spaces and equivalence relations, Unpublished manuscript
– D Scott
- 1996
|
|
304
|
A Compendium of Continuous Lattices
– G Gierz, K H Hofmann, K Keimel, J D Lawson, M W Mislove, D S Scott
- 1980
|
|
5
|
Equilogical spaces. URL: http:// www.cs.cmu.edu/Groups/LTC
– A Bauer, L Birkedal, D S Scott
- 1998
|
|
24
|
Equilogical Spaces
– Andrej Bauer, Lars Birkedal, Dana S. Scott
- 1998
|
|
4
|
Some cartesian closed categories of convergence spaces, in: Categorical Topology (Proc
– G Bourdaud
- 1976
|
|
2
|
Separation Classes of Equilogical Spaces
– Reinhold Heckmann
- 1999
|
|
21
|
Filter spaces and continuous functionals
– J M E Hyland
- 1977
|
|
7
|
Continuity in Spatial Toposes
– J Hyland
- 1979
|
|
4
|
Arithmetic Issues in Geometric Computations
– D. Michelucci
- 1996
|
|
2
|
Toward a topology for computational geometry
– S M Barker
- 1995
|
|
2
|
Representation b.rep et calculabilite
– A Lieutier
- 1997
|
|
31
|
Complete local rings as domains
– V AND TUCKER STOLTENBERG-HANSEN, J V
- 1988
|
|
16
|
Robustness in solid modeling: a tolerance-based intuitionistic approach
– S Fang, B Bruderlin, X Zhu
- 1993
|
|
13
|
Computable Banach Spaces via Domain Theory
– Abbas Edalat, Philipp Sünderhauf
- 1998
|
|
6
|
Towards robust interval solid modeling for curved objects
– C-Y Hu
- 1995
|
|
5
|
On the measure of two-dimensional regions with polynomial-time computable boundaries
– K Ko, K Weihrauch
- 1996
|
|
15
|
Mathematical foundations of constructive solid geometry: General topology of closed regular sets Univ
– A Requicha, R Tilove
- 1978
|
|
18
|
Boundary representation modelling with local tolerancing
– David J Jackson
- 1995
|
|
20
|
Theory of representations
– Klaus Weihrauch, Communicated E. Engeler
- 1985
|
