References
- A. Edalat and R. Heckmann, A computational model for metric spaces, Theor. Comput. Sci. 193 (1998), 53–73. doi: 10.1016/S0304-3975(96)00243-5
- M. Erné, Algebraic models for T1 spaces, Topol. Appl. 158 (2011), 945–962. doi: 10.1016/j.topol.2011.01.014
- G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, and D.S. Scott, Continuous Lattices and Domains, Vol. 93, Cambridge University Press, New York, 2003.
- J. Goubault-Larrecq, Non-Hausdorff Topology and Domain Theory, New Mathematical Monographs, Vol. 22, Cambridge University Press, New York, 2013.
- P.T. Johnstone, Scott is not always sober, In: Continuous Lattices, B. Banaschewski and R.-E. Hoffmann, (eds.), Proceedings Bremen 1979, Vol. 871, pp. 282–283, Springer-Verlag, Berlin, 1981.
- T. Kamimura and A. Tang, Total objects of domains, Theor. Comput. Sci. 34 (1984), 275–288. doi: 10.1016/0304-3975(84)90055-0
- R. Kopperman, H.-P.A. Künzi, and P. Waszkiewicz, Bounded complete models of topological spaces, Topol. Appl. 139 (2004), 285–297. doi: 10.1016/j.topol.2003.12.001
- J.D. Lawson, Spaces of maximal points, Math. Struct. Comput. Sci. 7 (1997), 543– 555. doi: 10.1017/S0960129597002363
- H. Li and Q. Li, Lower topological poset models of T1 topological spaces, Topol. Appl., Published online: 16 December 2019, DOI: https://doi.org/10.1016/j.topol.2019.106992.
- K. Martin, Nonclassical techniques for models of computation, Topol. Proc. 24 (1999), 375–405.
- K. Martin, Topological games in domain theory, Topol. Appl. 129 (2003), 177–186. doi: 10.1016/S0166-8641(02)00147-5
- M.W. Mislove, Local dcpos, local cpos and local completions, Electron. Notes Theor. Comput. Sci. 20 (1999), 1–14. doi: 10.1016/S1571-0661(04)80085-9
- C. Mummert and F. Stephan, Topological aspects of poset spaces, Mich. Math. J. 59 (2010), 3–24.
- D.S. Scott, Continuous lattices, In: Toposes, Algebraic Geometry and Logic, Lect. Notes Math., Vol. 274, pp. 97–136, 1972.
- P. Venugopalan, A generalization of completely distributive lattices, Algebr. Univ. 27 (1990), 578–586. doi: 10.1007/BF01189001
- D. Zhao, Poset models of topological spaces, In: Proceeding of International Conference on Quantitative Logic and Quantification of Software, pp. 229–238, Global-link Publisher, Hong Kong, 2009.
- D. Zhao and X. Xi, Directed complete poset models of T1 spaces, Math. Proc. Camb. Phil. Soc. 164 (2018), 125–134. doi: 10.1017/S0305004116000888