Volume 13, 1998 Comprox III Third Workshop on Computation and Approximation
Birmingham, England, 11-13 September 1997
: Domain representations of topological spaces.
: Right Kan spaces and essentially complete T0-spaces.
Martín Hötzel Escardó
: Effective and sequential definition by cases on the reals via infinite signed-digit numerals.
: The Upper Interval Topology, Property M and Compactness.
: Domain theoretic models of topological spaces.