Hajime Ishihara, Margarita V. Korovina, Arno Pauly, Monika Seisenberger, Dieter Spreen. Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013. Mathematical Structures in Computer Science, 27(8):1285-1286, 2017. [doi]
Abstract is missing.