@Article{berger_et_al:DagRep.1.10.14,
author = {Berger, Ulrich and Brattka, Vasco and Selivanov, Victor and Spreen, Dieter and Tsuiki, Hideki},
title = {{Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)}},
pages = {14--36},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {1},
number = {10},
editor = {Berger, Ulrich and Brattka, Vasco and Selivanov, Victor and Spreen, Dieter and Tsuiki, Hideki},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.10.14},
URN = {urn:nbn:de:0030-drops-33721},
doi = {10.4230/DagRep.1.10.14},
annote = {Keywords: Exact real number computation, Stream computation, Infinite computations, Computability in analysis, Hierarchies, Reducibility, Topological complexity}
}