|
型理論
竜田真 著
[目次]
- 型理論とは何か
- MLの型推論
- 型推論のアルゴリズム
- Martin‐L¨ofの型理論
- Girardの逆説〔ほか〕
「BOOKデータベース」より
|
書名 |
型理論 |
著作者等 |
竜田 真
|
書名ヨミ |
カタ リロン |
書名別名 |
Kata riron |
シリーズ名 |
レクチャーノート/ソフトウェア学 1
|
出版元 |
近代科学社 |
刊行年月 |
1992.11 |
ページ数 |
82p |
大きさ |
26cm |
ISBN |
476490201X
|
NCID |
BN08418502
※クリックでCiNii Booksを表示
|
全国書誌番号
|
93011478
※クリックで国立国会図書館サーチを表示
|
言語 |
日本語 |
出版国 |
日本 |
この本を:
|

件が連想されています

|