スコット連続
ISBN 0-19-853762-X. http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf
1 2 Bauer, Andrej and Taylor, Paul (2009). “The Dedekind Reals in Abstract Stone Duality”. Mathematical Structures in Computer Science (Cambridge University Press) 19: 757–838. doi:10.1017/S0960129509007695. http://PaulTaylor.EU/ASD/dedras/ 2010年10月8日閲覧。.
↑ Barendregt, H.P. (1984). The Lambda Calculus. North-Holland. ISBN 0-444-87508-5 (See theorems 1.2.13, 1.2.14)