Computability of Continuous Solutions of Higher-Type Equations

Martin Escardo, K Ambos-Spies, B Lowe, W Merkle

Research output: Contribution to conference (unpublished) › Paper

1 Citation (Scopus)

Keywords

@conference{fe9ac406127546779be1ed8c67c033e2,

title = "Computability of Continuous Solutions of Higher-Type Equations",

keywords = "Higher-type computability, exhaustible set, Kleene-Kreisel spaces of continuous functionals",

author = "Martin Escardo and K Ambos-Spies and B Lowe and W Merkle",

year = "2009",

month = jul,

day = "15",

doi = "10.1007/978-3-642-03073-4_20",

language = "English",

pages = "188--197",

}

TY - CONF

T1 - Computability of Continuous Solutions of Higher-Type Equations

AU - Escardo, Martin

AU - Ambos-Spies, K

AU - Lowe, B

AU - Merkle, W

PY - 2009/7/15

Y1 - 2009/7/15

KW - Higher-type computability

KW - exhaustible set

KW - Kleene-Kreisel spaces of continuous functionals

U2 - 10.1007/978-3-642-03073-4_20

DO - 10.1007/978-3-642-03073-4_20

M3 - Paper

SP - 188

EP - 197

ER -