Typed λ-calculi and their Extensions

Sakurai, Takafumi

ダウンロード数: 93

http://hdl.handle.net/2433/149753

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
yjohr00032.pdf	Abstract_要旨	194.17 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.advisor	佐藤, 雅彦	-
dc.contributor.advisor	奥乃, 博	-
dc.contributor.advisor	湯淺, 太一	-
dc.contributor.author	Sakurai, Takafumi	en
dc.contributor.alternative	櫻井, 貴文	ja
dc.contributor.transcription	サクライ, タカフミ	ja
dc.date.accessioned	2011-11-17T07:44:09Z	-
dc.date.available	2011-11-17T07:44:09Z	-
dc.date.issued	2002-03-25	-
dc.identifier.uri	http://hdl.handle.net/2433/149753	-
dc.format.mimetype	application/pdf	-
dc.language.iso	eng	-
dc.publisher	京都大学 (Kyoto University)	ja
dc.publisher.alternative	京都大学	ja
dc.subject.ndc	007	-
dc.title	Typed λ-calculi and their Extensions	en
dc.title.alternative	型付λ計算とその拡張	ja
dc.title.transcription	カタツキラムダケイサントソノカクチョウ	ja-Kana
dc.type	doctoral thesis	-
dc.type.niitype	Thesis or Dissertation	-
dc.textversion	none	-
dc.identifier.ndlid	000003538266	-
dc.description.degreegrantor	京都大学	ja
dc.description.degreeuniversitycode	0048	-
dc.description.degreelevel	新制・論文博士	-
dc.description.degreediscipline	博士(情報学)	ja
dc.description.degreereportnumber	乙第10962号	-
dc.description.degreenumber	論情博第32号	-
dc.description.degreekucallnumber	新制\|\|情\|\|14(附属図書館)	-
dc.description.degreendlcallnumber	UT51-2002-G536	-
dc.date.granted	2002-03-25	-
dc.description.degreeexamcommittee	(主査)教授佐藤雅彦, 教授奥乃博, 教授湯淺太一	-
dc.description.degreeprovision	学位規則第4条第2項該当	-
dcterms.accessRights	open access	-
dc.description.degreediscipline-en	Doctor of Informatics	en
dc.identifier.degreegrantorID	14301	-
dc.description.degreegrantor-en	Kyoto University	en
dc.description.degreeObjectType	DAM	-
jpcoar.contributor.Type	Supervisor	-
jpcoar.contributor.Type	Supervisor	-
jpcoar.contributor.Type	Supervisor	-
jpcoar.contributor.Name	佐藤, 雅彦	ja
jpcoar.contributor.Name	奥乃, 博	ja
jpcoar.contributor.Name	湯淺, 太一	ja
出現コレクション:	140 博士(情報学)

アイテムの簡略レコードを表示する

Export to RefWorks

このリポジトリに保管されているアイテムはすべて著作権により保護されています。