General Recursion and Formal Topology