| 著者 | 横内 寛文 |
|---|---|
| 出版社 | 共立出版 |
| ジャンル | 専門書 |
| ISBNコード | 9784320026575 |
| 登録日 | 2009/06/25 |
| リクエストNo. | 47154 |
カルテシアン閉カテゴリを用いてラムダ計算の意味論を定義する内容.
第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
第4章 関数型言語の意味論
第5章 カテゴリ理論の基礎
第6章 領域方程式
第7章 ラムダ計算の意味論
第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
第4章 関数型言語の意味論
第5章 カテゴリ理論の基礎
第6章 領域方程式
第7章 ラムダ計算の意味論
読後レビュー
まだレビューはありません。
この本をお読みの方、ぜひレビューをお書きください。
このリクエストの関連商品 （全1件）
ニュース
2011/09/12
『プログラム意味論（情報数学講座）』復刊決定！
2009/06/25
『プログラム意味論 (情報数学講座)』（横内 寛文）の復刊リクエスト受付を開始しました。
関連キーワード
この本に関する情報を提供する
この本の情報を復刊ドットコムまでお寄せください
投票コメント （全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