Some Examples of Non-Metrizable Spaces Allowing a Simple Type-2 Complexity Theory. - Daren Kunkle; Matthias Schröder 001 (CCA, 2004)

Type-2 computability on spaces of integrable functions. - Daren Kunkle (Math. Log. Q., 2004)