Full lifting of type parameters
Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- 南出靖彦 [著]
- Author Heading
- 南出, 靖彦 ミナミデ, ヤスヒコ
- Alternative Title
- 型引数の完全な持ち上げ カタ インスウ ノ カンゼンナ モチアゲ
- Degree grantor/type
- 京都大学
- Date Granted
- 平成9年9月24日
- Date Granted (W3CDTF)
- 1997
- Dissertation Number
- 乙第9681号
- Degree Type
- 博士 (理学)