1. Abramsky S., Jung, A.: Domain theory. In: Handbook of Logic in Computer Science, vol. 3, pp. 1–168. Oxford (1994)
2. Studies in Logic and the Foundations of Mathematics;C Ash,2000
3. de Brecht, M.: Quasi-Polish spaces. Ann. Pure Appl. Logic 164, 356–381 (2013)
4. Lecture Notes in Computer Science;M de Brecht,2020
5. Downey R., Melnikov A.G.: Effectively compact spaces. Unpublished manuscript