Bucalo, Anna; Rosolini, Giuseppe Sobriety for equilogical spaces. (English) Zbl 1420.18006 Theor. Comput. Sci. 546, 93-98 (2014). MSC: 18B30 06D22 18D15 18E10 × Cite Format Result Cite Review PDF Full Text: DOI
Bauer, Andrej; Plotkin, Gordon D.; Scott, Dana S. Cartesian closed categories of separable Scott domains. (English) Zbl 1360.68572 Theor. Comput. Sci. 546, 17-29 (2014). MSC: 68Q55 03B40 06B35 18D15 × Cite Format Result Cite Review PDF Full Text: DOI