@techreport{weko_30438_1,
   author	 = "櫟粛之",
   title	 = "Higher Order Categorical LogicのSubformula Propertyを持つDeductive System",
   year 	 = "1994",
   institution	 = "NTTコミュニケーション科学研究所",
   number	 = "94(1994-PRO-019)",
   month	 = "nov"
}