Access count of this item: 207

Files in This Item:
File Description SizeFormat 
D_Nakazawa_Koji.pdfDissertation_全文9.01 MBAdobe PDFView/Open
yrigk02568.pdfAbstract_要旨223.17 kBAdobe PDFView/Open
Title: Confluency and Strong Normalizability of Call-by-Valueλμ-Calculus
Other Titles: 値呼びλμ計算の合流性と強正規化性
Authors: Nakazawa, Koji
Author's alias: 中澤, 巧爾
Issue Date: 25-Nov-2002
Publisher: 京都大学 (Kyoto University)
Conferring University: Kyoto University (京都大学)
Degree Level: 新制・課程博士
Degree Discipline: 博士(理学)
Degree Report no.: 甲第9826号
Degree no.: 理博第2568号
Degree Call no.: 新制||理||1314(附属図書館)
Degree Affiliation: 京都大学大学院理学研究科数学・数理解析専攻
Examination Committee members: (主査)教授 河野 明, 教授 上野 健爾, 助教授 櫻川 貴司
Provisions of the Ruling of Degree: 学位規則第4条第1項該当
DOI: 10.14989/doctor.k9826
URI: http://hdl.handle.net/2433/86474
Appears in Collections:Doctoral Dissertation (Science)

Show full item record

Export to RefWorks


Export Format: 


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