Access count of this item: 65

Files in This Item:
File Description SizeFormat 
yjohr00002.pdfAbstract_要旨177.41 kBAdobe PDFView/Open
Title: Theories of Parametric Polymorphism and Data Types
Other Titles: パラメトリックな多相型とデータ型の理論
Authors: Takeuchi, Izumi
Author's alias: 竹内, 泉
Issue Date: 23-Mar-2000
Publisher: 京都大学 (Kyoto University)
Conferring University: Kyoto University (京都大学)
Degree Level: 新制・論文博士
Degree Discipline: 博士(情報学)
Degree Report no.: 乙第10433号
Degree no.: 論情博第2号
Degree Call no.: 新制||情||3(附属図書館)
Examination Committee members: (主査)教授 佐藤 雅彦, 教授 松山 隆司, 教授 岩間 一雄
Provisions of the Ruling of Degree: 学位規則第4条第2項該当
Appears in Collections:Doctoral Dissertation (Informatics)

Show full item record

Export to RefWorks

Export Format: 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.