1. Abramsky, S.: Domain theory. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science. Clarendon Press, Oxford (1994)
2. Becher, V., Grigorieff, S.: Borel and Hausdorff hierarchies in topological spaces of choquet games and their effectivization. Math. Struct. Comput. Sci. 25(7), 1490–1519 (2015).
https://doi.org/10.1017/S096012951300025X
3. de Brecht, M.: Quasi-polish spaces. Ann. Pure Appl. Logic 164(3), 356–381 (2013)
4. Brecht de, M., Pauly, A., Schröder, M.: Overt choice. CoRR abs/1902.05926 (2019).
http://arxiv.org/abs/1902.05926
5. Chen, R.: Notes on quasi-Polish spaces. CoRR abs/1902.05926 (2018).
http://arxiv.org/abs/1809.07440