1. Brattka, V., de Brecht, M., Pauly, A.: Closed choice and a uniform low basis theorem. Ann. Pure Appl. Logic 163(8), 986–1008 (2012)
2. Escardó, M.: Synthetic topology: of data types and classical spaces. Electr. Notes Theoret. Comput. Sci. 87, 21–156 (2004)
3. Goubault-Larrecq, J.: Non-Hausdorff topology and domain theory: Selected topics in point-set topology, New Mathematical Monographs, vol. 22. Cambridge University Press, Cambridge (2013)
4. de Groot, J., Herrlich, H., Strecker, G.E., Wattel, E.: Compactness as an operator. Composit. Math. 21, 349–375 (1969)
5. Kihara, T., Ng, K.M., Pauly, A.: Enumeration degrees and non-metrizable topology. arXiv:1904.04107 (2019)