ranhaさんの公開ページ 復刊投票コメント一覧

表示的意味論について丁寧に学べる良書だと思います。

リクエスト内容に概要が書かれていますが、型無しλ計算からドメインセオリへ。
そしてその内容を踏襲してPCFについて学び、更にカテゴリセオリから型無しλ計算のモデルについてまで、考えられた並びに成っていると思います。

プログラムの意味論の本が軒並み絶版に成っている中、特に表示的意味論を扱った本として、復刊して欲しい本です。