References
- [1]
- A. Bauer. Efficient computation with Dedekind reals. In: Fifth International Conference on Computability and Complexity in Analysis,(Eds. V Brattka, R Dillhage, T Grubba, A Klutch), Hagen, Germany (Citeseer, 2008).
- [2]
- A. Bauer and P. Taylor. The Dedekind reals in abstract Stone duality. Mathematical structures in computer science 19, 757–838 (2009).
- [3]
- A. Bauer. Marshall (2012).