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