5Flagg B,Sundrehauf P,Wagner K. A logical approach to quantitative domain theory[J]. Preprint Submitted to Elsevier, 1996.
6Wagner K R. Solving recursive domain equations with enriched categories[D]. Pittsburgh:School of Computer Science Carnegie Mellon University, 1994.
7Abramsky S, Jung A. Domain theory [A]. Gabbay D M, Maibaum T S E. Handbook of logic in computer science(volume 3)[C]. Oxford University Press, 1995:1～168.
8Rodabaugh S E. Categorical frameworks for Stone representation theorem. In: Rodabaugh S E, Klement E P, Hoehle U, eds. Applications of Category Theory to Fuzzy Subsets. Dordrecht, Boston: Kluwer Academic Publishers, 1992. 178-231.
9Rodabaugh S E. Representations, compactifications, and compactness and low-level separation axioms for poslat topology. In: Hoehle U, Rodabaugh S E. eds. Mathematics of Fuzzy Sets, Logic, Topology and Measure Theory. Boston: Kluwer Acaziemic Publishers, 1999. 481-552.
10张德学,刘应明.L-fuzzy version of Stone's representation theorem for distributive lattices. Fuzzy Sets and Systems, 1995, 76(3): 259-270.
