表示的意味論
↑ Mosses(1990 p.563
↑ S. Abramsky and A. Jung: Domain theory. In S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, vol. III. Oxford University Press, 1994. (ISBN 0-19-853762-X)
↑ Gordon Plotkin. A powerdomain construction SIAM Journal of Computing. September 1976.
↑ Mosses(1990) pp.609-610
↑ Reynolds, John C. (1993-11-01). “The discoveries of continuations” (英語). LISP and Symbolic Computation 6 (3): 233–247. doi:10.1007/BF01019459. ISSN 1573-0557. https://www.cs.cmu.edu/afs/cs/user/jcr/ftp/histcont.pdf.