Access count of this item: 62

Files in This Item:
File Description SizeFormat 
yjohr00032.pdfAbstract_要旨194.17 kBAdobe PDFView/Open
Title: Typed λ-calculi and their Extensions
Other Titles: 型付λ計算とその拡張
Authors: Sakurai, Takafumi
Author's alias: 櫻井, 貴文
Issue Date: 25-Mar-2002
Publisher: 京都大学 (Kyoto University)
Conferring University: Kyoto University (京都大学)
Degree Level: 新制・論文博士
Degree Discipline: 博士(情報学)
Degree Report no.: 乙第10962号
Degree no.: 論情博第32号
Degree Call no.: 新制||情||14(附属図書館)
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.