Xu, Luoshan Closed interval continuity and principal ideal continuity on posets. (Chinese. English summary) Zbl 1037.06006 J. Yangzhou Univ., Nat. Sci. Ed. 2, No. 4, 1-5 (1999). MSC: 06B35 PDFBibTeX XMLCite \textit{L. Xu}, J. Yangzhou Univ., Nat. Sci. Ed. 2, No. 4, 1--5 (1999; Zbl 1037.06006)
Liang, Jihua; Liu, Yingming Domain theory and topology. (Chinese. English summary) Zbl 1054.54500 Adv. Math., Beijing 28, No. 2, 97-104 (1999). MSC: 54A10 06B35 18C50 68Q55 PDFBibTeX XMLCite \textit{J. Liang} and \textit{Y. Liu}, Adv. Math., Beijing 28, No. 2, 97--104 (1999; Zbl 1054.54500)
Müller, Olaf; Nipkow, Tobias; von Oheimb, David; Slotosch, Oscar HOLCF=HOL+LCF. (English) Zbl 0933.03028 J. Funct. Program. 9, No. 2, 191-223 (1999). MSC: 03B70 68N18 68T15 68Q55 PDFBibTeX XMLCite \textit{O. Müller} et al., J. Funct. Program. 9, No. 2, 191--223 (1999; Zbl 0933.03028) Full Text: DOI
Velebil, Jiří Categorical generalization of a universal domain. (English) Zbl 0937.18002 Appl. Categ. Struct. 7, No. 1-2, 209-226 (1999). Reviewer: J.Koslowski (Braunschweig) MSC: 18B15 18B35 PDFBibTeX XMLCite \textit{J. Velebil}, Appl. Categ. Struct. 7, No. 1--2, 209--226 (1999; Zbl 0937.18002) Full Text: DOI
Trnková, Věra; Velebil, Jiří On categories generalizing universal domains. (English) Zbl 0933.18005 Math. Struct. Comput. Sci. 9, No. 2, 159-175 (1999). Reviewer: J.Rosický (Brno) MSC: 18B99 68Q99 PDFBibTeX XMLCite \textit{V. Trnková} and \textit{J. Velebil}, Math. Struct. Comput. Sci. 9, No. 2, 159--175 (1999; Zbl 0933.18005) Full Text: DOI