この商品をご覧のお客様は、こんな商品もチェックしています。
- 復刊帰納的関数
-
価格：6,380円（本体5,800円＋税）
【2024年12月発売】
- 数・学・探・検・共立講座 第９巻
-
価格：3,190円（本体2,900円＋税）
【2024年02月発売】
- 数学・基礎の基礎
-
価格：2,200円（本体2,000円＋税）
【1996年06月発売】
- 数学の方法 復刊
-
価格：4,950円（本体4,500円＋税）
【2011年05月発売】
- 数学フィールドワーク
-
価格：1,210円（本体1,100円＋税）
【2023年02月発売】
のマークが目印です。
[BOOKデータベースより]
第１章 表示的意味論の考え方
第２章 ラムダ計算の基礎
第３章 領域理論の基礎
第４章 関数型言語の意味論
第５章 カテゴリ理論の基礎
第６章 領域方程式
第７章 ラムダ計算の意味論