| 著者 | 横内寛文 |
|---|---|
| 出版社 | 共立出版 |
| ジャンル | 専門書 |
プログラム意味論を展開する際に基礎となる数学的な枠組みを、表示的意味論を中心に詳しく厳密に解説した「プログラム意味論の本質」がわかる本。
第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
第4章 関数型言語の意味論
第5章 カテゴリ理論の基礎
第6章 領域方程式
第7章 ラムダ計算の意味論
第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
第4章 関数型言語の意味論
第5章 カテゴリ理論の基礎
第6章 領域方程式
第7章 ラムダ計算の意味論
復刊投票時のコメント (全32件)
2009/07/18
2009/07/18
2009/06/25
2009/06/25
2016/04/05
2016/04/05
2012/02/28
2012/02/28
2012/01/22
2012/01/22