Computability on topological spaces by effective domain representations (1997)

by J Blanck
Venue:Uppsala University. Uppsala