Publisher
Springer International Publishing
Reference22 articles.
1. Abramsky, S.: Domain theory and the logic of observable properties. Ph.D. thesis, University of London (1987)
2. Abramsky, S.: Domain theory in logical form. Ann. Pure Appl. Logic 51, 1–77 (1991)
3. Chen, Y., Jung, A.: A logical approach to stable domains. Theoret. Comput. Sci. 368, 124–148 (2006)
4. Edalat, A., Smthy, M.B.: Information categories. Appl. Categor. Struct. 1, 197–323 (1993)
5. Ern$$\acute{\text{e}}$$, M.: Categories of locally hypercompact spaces and quasicontinuous posets. Appl. Categor. Struct. 26(5), 823–854 (2018). https://doi.org/10.1007/s10485-018-9536-0