型理論

竜田真 著

[目次]

  • 型理論とは何か
  • MLの型推論
  • 型推論のアルゴリズム
  • Martin‐L¨ofの型理論
  • Girardの逆説〔ほか〕

「BOOKデータベース」より

この本の情報

書名 型理論
著作者等 竜田 真
書名ヨミ カタ リロン
書名別名 Kata riron
シリーズ名 レクチャーノート/ソフトウェア学 1
出版元 近代科学社
刊行年月 1992.11
ページ数 82p
大きさ 26cm
ISBN 476490201X
NCID BN08418502
※クリックでCiNii Booksを表示
全国書誌番号
93011478
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想