The Realizability Approach to Computable Analysis and Topology

This is my Ph.D. dissertation, which I forgot to post on this blog. So I am doing it now. [...]