型理論
著者
書誌事項
型理論
(レクチャーノート/ソフトウェア学, 1)
近代科学社, 1992.11
- タイトル別名
-
型理論
- タイトル読み
-
カタリロン
大学図書館所蔵 件 / 全79件
-
007.64||Ta95000008532,
007.64||Ta95000155325, 007.64||Ta95000155333, 007.64||Ta95155341, 007.64||Ta9500000853, 007.64||Ta9500015532, 007.64||Ta9500015534, 007.64||Ta9500015533 -
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p79-82
内容説明・目次
目次
- 型理論とは何か
- MLの型推論
- 型推論のアルゴリズム
- Martin‐L¨ofの型理論
- Girardの逆説〔ほか〕
「BOOKデータベース」 より