@techreport{weko_30613_1,
   author	 = "塚田,恭章",
   title	 = "Martin ? Lofの型理論におけるオブジェクトおよび型についての開放性",
   year 	 = "1992",
   institution	 = "NTT基礎研究所",
   number	 = "85(1992-PRO-009)",
   month	 = "oct"
}