プログラミング言語の基礎理論 新装版
第1章プログラミング言語のモデル；
第2章型付きラムダ計算；
第3章型付きラムダ計算の拡張；
第4章型推論システム；
第5章多相型言語のモデル；
第6章レコード計算系の理論
初版年月2019/08/01
分類専門
判型A5
ページ数272
ジャンル数学
著者名大堀淳
内容量1冊
書籍 の新着商品
カテゴリ
商品レビュー
よくあるご質問(FAQ)
- 質問：
- 製品の安全データシート（SDS）や有害物質使用制限に関するデータ（RoHS）等の書面が必要ですがどうすれば良いですか。
- 回答：
- お手数ですが下記URLのお問合せフォームよりご依頼ください。
お問合せ種類 *必須の中から必要な書類をお選びご依頼ください。
https://help.monotaro.com/app/ask
書類名）
1：SDS(MSDS)
2：RoHS(2)
3：非該当証明書
4：ChemSHERPA
5：その他（ミルシート・出荷証明書）
2022-04-07
「専門書」にはこんなカテゴリがあります
シェアする
