Computably regular topological spaces

Klaus Weihrauch. Computably regular topological spaces. Logical Methods in Computer Science, 9(3), 2013. [doi]

Abstract

Abstract is missing.