スコット連続
1 2 Vickers, Steven (1989). Topology via Logic. Cambridge University Press. ISBN 0-521-36062-5
1 2 Scott, Dana (1972). “Continuous lattices”. In Lawvere, Bill. Toposes, Algebraic Geometry and Logic. Lecture Notes in Mathematics. 274. Springer-Verlag
1 2 3 4 Abramsky, S.; Jung, A. (1994). “Domain theory”. In Abramsky, S.; Gabbay, D.M.; Maibaum, T.S.E.. Handbook of Logic in Computer Science. Vol. III. Oxford University Press.