Martín Hötzel Escardó, Paulo Oliva. Computational Interpretations of Analysis via Products of Selection Functions. In Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes, editors, Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings. Volume 6158 of Lecture Notes in Computer Science, pages 141-150, Springer, 2010. [doi]
Abstract is missing.