@techreport{weko_30963_1,
   author	 = "武山,誠",
   title	 = "Locally Small Fibrationに基づく型体系",
   year 	 = "1989",
   institution	 = "東京大学理学部情報科学科",
   number	 = "75(1989-PRO-031)",
   month	 = "sep"
}