はじめに
表示的意味論の文献を適当に列挙してみる（随時追加）。
文献一覧
- G. ウィンスケル,末永 幸平 監訳,勝股 審也 訳,中澤 巧爾 訳,西村 進 訳,前田 敦司 訳,プログラミング言語の形式的意味論入門
- 中島 玲二(1982),数理情報学入門: スコット・プログラム理論
- 山田 眞市(1984),情報処理の科学
- 横内 寛文(1994),プログラム意味論
- 高橋 正子(1979),スコット理論 pdf
- 伊藤 貴康(1981),プログラム理論とその応用（３） pdf
- R.D.Tennent(1976),The denotational semantics of programming languages
- D.Scott(1970),Outline of a mathematical theory of computation
- D.Scott,C.Strachey(1971),Toward a mathematical semantics for computer languages