Publisher
Springer International Publishing
Reference21 articles.
1. Weihrauch, K.: Computable Analysis. Springer, Berlin (2000).
https://doi.org/10.1007/978-3-642-56999-9
2. Schröder, M.: Extended admissibility. Theor. Comput. Sci. 284(2), 519–538 (2002)
3. Pauly, A.: On the topological aspects of the theory of represented spaces. Computability 5(2), 159–180 (2015)
4. Kleene, S.: Countable functionals. In: Constructivity in Mathematics, pp. 81–100 (1959)
5. Kreisel, G.: Interpretation of analysis by means of functionals of finite type. In: Constructivity in Mathematics, pp. 101–128 (1959)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. More Intensional Versions of Rice’s Theorem;Computing with Foresight and Industry;2019