@techreport{weko_30786_1,
   author	 = "萩谷,昌己",
   title	 = "帰納的定義付き型理論における簡約と射影について",
   year 	 = "1991",
   institution	 = "京都大学数理解析研究所",
   number	 = "19(1990-PRO-038)",
   month	 = "mar"
}