@techreport{weko_30715_1,
   author	 = "木下,佳樹",
   title	 = "OBJのサブソートの　Martin ? Löf　の部分集合論における解釈",
   year 	 = "1991",
   institution	 = "電子技術総合研究所",
   number	 = "99(1991-PRO-005)",
   month	 = "nov"
}