Spreen, Dieter The largest Cartesian closed category of domains, considered constructively. (English) Zbl 1080.03032 Math. Struct. Comput. Sci. 15, No. 2, 299-321 (2005). MSC: 03D45 06B35 18D15 68Q55 PDFBibTeX XMLCite \textit{D. Spreen}, Math. Struct. Comput. Sci. 15, No. 2, 299--321 (2005; Zbl 1080.03032) Full Text: DOI
Spreen, Dieter A characterization of effective topological spaces. II. (English) Zbl 0736.03013 Topology and category theory in computer science, Proc. Conf., Oxford/UK 1989, 231-255 (1991). Reviewer: M.Zimand (Bucureşti) MSC: 03D45 68Q55 54A99 PDFBibTeX XMLCite \textit{D. Spreen}, in: Topology, computer science, and the mathematics of convergence. . 231--255 (1991; Zbl 0736.03013)
Spreen, Dieter Computable one-to-one enumerations of effective domains. (English) Zbl 0661.03037 Mathematical foundations of programming language semantics, Proc. Workshop, New Orleans/La. 1987, Lect. Notes Comput. Sci. 298, 372-384 (1988). Reviewer: J.Šindelář MSC: 03D45 03D30 PDFBibTeX XML
Spreen, Dieter On r.e. inseparability of cpo index sets. (English) Zbl 0545.03026 Logic and machines: decision problems and complexity, Proc. Symp., Münster/Ger. 1983, Lect. Notes Comput. Sci. 171, 103-117 (1984). MSC: 03D45 68Q60 PDFBibTeX XML