型理論
著者
書誌事項
型理論
(レクチャーノート/ソフトウェア学, 1)
近代科学社, 1992.11
- タイトル別名
-
型理論
- タイトル読み
-
カタリロン
大学図書館所蔵 全79件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p79-82
内容説明・目次
目次
- 型理論とは何か
- MLの型推論
- 型推論のアルゴリズム
- Martin‐L¨ofの型理論
- Girardの逆説〔ほか〕
「BOOKデータベース」 より