共 8 条
[1]
Abramsky S., 1994, Handbook of Logic in Computer Science, V3, P1
[2]
Hofmann K. H., 1980, A Compendium of Continuous Lattices
[3]
Hofmann K. H., 1981, LECT NOTES MATH, V871, P209, DOI DOI 10.1007/BFB0089908
[5]
JONES C, 1989, LOGIC COMPUTER SCI, P186, DOI DOI 10.1109/LICS.1989.39173
[6]
Jones Claire, 1990, Ph.D. Dissertation
[7]
Scott D. S., 1972, LECT NOTES MATH, V274, P97, DOI DOI 10.1007/BFB0073967
[8]
SMYTH MB, 1992, J LOND MATH SOC, V45, P321