A Computable Version of Dini's Theorem for Topological Spaces.

Tanja Grubba, Klaus Weihrauch

Browse the full CCA paper archive.