復刊リクエスト投票

• プログラム意味論　(情報数学講座)

  【著者】横内　寛文

  表示的意味論について丁寧に学べる良書だと思います。
  
  リクエスト内容に概要が書かれていますが、型無しλ計算からドメインセオリへ。
  そしてその内容を踏襲してPCFについて学び、更にカテゴリセオリから型無しλ計算のモデルについてまで、考えられた並びに成っていると思います。
  
  プログラムの意味論の本が軒並み絶版に成っている中、特に表示的意味論を扱った本として、復刊して欲しい本です。(2009/07/18)