Computability on Topological Spaces by Effective Domain Representations (1997)

by J Blanck