|
|
|
| https://www.monotaro.com/p/5260/0258/ | 2026/05/24 15:17:37 |
|
共立出版
プログラミング言語の基礎理論 新装版 |
|
|
| 初版年月： | 2019/08/01 |
|---|---|
| 特長： |
第1章プログラミング言語のモデル； 第2章型付きラムダ計算； 第3章型付きラムダ計算の拡張； 第4章型推論システム； 第5章多相型言語のモデル； 第6章レコード計算系の理論 |
| 分類： | 専門 |
| 判型： | A5 |
| ページ数： | 272 |
| ジャンル： | 数学 |
| 著者名： | 大堀淳 |
| Copyright 2000-2026 MonotaRO Co.,Ltd. All Rights Reserved. 株式会社MonotaRO（ものたろう） |
