Andrej Bauer, Paul Taylor 0002. The Dedekind Reals in Abstract Stone Duality. In Tanja Grubba, Peter Hertling, Hideki Tsuiki, Klaus Weihrauch, editors, CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan. Volume 326-7/2005 of Informatik Berichte, pages 25-64, FernUniversität Hagen, Germany, 2005.
No reviews for this publication, yet.