The Dedekind Reals in Abstract Stone Duality.

Andrej Bauer, Paul Taylor

Browse the full CCA paper archive.