Discrete approximation of spaces - a uniform approach to topologically structured datatypes and their function spaces

Philipp Sünderhauf. Discrete approximation of spaces - a uniform approach to topologically structured datatypes and their function spaces. PhD thesis, TH Darmstadt, 1994.

Abstract

Abstract is missing.