TL;DR プログラム意味論の基礎となる数学的な枠組みを、表示的意味論を中心に詳しく厳密に解説する本である。 目次 表示的意味論の考え方 ラムダ計算の基礎 領域理論の基礎 関数型言語の意味論 カテゴリ理論の基礎 領域方程式 ラムダ計算の意味論 関連 表示的意味論 ラムダ計算 共立出版の書籍ページ