Available in National Diet Library
Find on the publisher's website
国立国会図書館デジタルコレクション
Search by Bookstore
Search by Bookstore
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
- 昭和61年10月31日
- Date Granted (W3CDTF)
- 1986
- Dissertation Number
- 甲第1777号
- Degree Type
- 理学博士