レクチャーノート／ソフトウェア学<br> 型理論

レクチャーノート／ソフトウェア学
型理論

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ B5判／ページ数 82p／高さ 26X19cm
  • 商品コード 9784764902015
  • NDC分類 007.64
  • Cコード C3350

目次

型理論とは何か
ＭＬの型推論
型推論のアルゴリズム
Ｍａｒｔｉｎ‐Ｌ¨ｏｆの型理論
Ｇｉｒａｒｄの逆説〔ほか〕