型理論
Author(s)
Bibliographic Information
型理論
（レクチャーノート/ソフトウェア学, 1）
近代科学社, 1992.11
- Other Title
-
型理論
- Title Transcription
-
カタリロン
Available at / 79 libraries
-
Kochi University of Technology.Library
007.64||Ta95000008532,
007.64||Ta95000155325, 007.64||Ta95000155333, 007.64||Ta95155341, 007.64||Ta9500000853, 007.64||Ta9500015532, 007.64||Ta9500015534, 007.64||Ta9500015533 -
University of Tsukuba Library, Library on Library and Information Science
007.64:Ta-95930029460
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p79-82
Description and Table of Contents
Table of Contents
- 型理論とは何か
- ＭＬの型推論
- 型推論のアルゴリズム
- Ｍａｒｔｉｎ‐Ｌ¨ｏｆの型理論
- Ｇｉｒａｒｄの逆説〔ほか〕
by "BOOK database"
