Funder
National Natural Science Foundation of China
Publisher
Springer Science and Business Media LLC
Reference16 articles.
1. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Semantic Structures, Volume 3 of Handbook of Logic in Computer Science, pp. 1–168. Clarendon Press, Oxford (1994)
2. Bice, T.: Grätzer-Hofmann-Lawson-Jung-Sünderhauf duality. Algebra Universalis 82(2), 35 (2021)
3. Celani, S.A., González, L.J.: A categorical duality for semilattices and lattices. Appl. Categ. Struct. 28(5), 853–875 (2020)
4. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, New York (2002)
5. David, E., Erné, M.: Ideal completion and Stone representation of ideal-distributive ordered sets. Topol. Appl. 44, 95–113 (1992)