Computability of Continuous Solutions of Higher-Type Equations

DOI10.1007/978-3-642-03073-4_20zbMath1268.03061OpenAlexW1523993161MaRDI QIDQ3576051

Martín Hötzel Escardó

Publication date: 28 July 2010

Published in: Mathematical Theory and Computational Practice (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03073-4_20

zbMATH Keywords

higher-type computabilityexhaustible setKleene-Kreisel spaces of continuous functionals

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursion on the countable functionals
• Exhaustible sets in higher-type computation
• A Relationship between Equilogical Spaces and Type Two Effectivity

This page was built for publication: Computability of Continuous Solutions of Higher-Type Equations