MartÃn Hötzel Escardó. Computability of Continuous Solutions of Higher-Type Equations. In Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle, editors, Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings. Volume 5635 of Lecture Notes in Computer Science, pages 188-197, Springer, 2009. [doi]
Abstract is missing.