Computability of Continuous Solutions of Higher-Type Equations

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages188-197
Number of pages10
Publication statusPublished - 15 Jul 2009

Keywords

  • Higher-type computability, exhaustible set, Kleene-Kreisel spaces of continuous functionals