Computability on continuous, lower semi-
β
Klaus Weihrauch; Xizhong Zheng
π
Article
π
2000
π
Elsevier Science
π
English
β 208 KB
In this paper we extend computability theory to the spaces of continuous, upper semi-continuous and lower semi-continuous real functions. We apply the framework of TTE, Type-2 Theory of E ectivity, where not only computable elements but also computable functions on the spaces can be considered. Firs