@techreport{weko_30769_1,
   author	 = "西崎,真也",
   title	 = "継続つきプログラミング言語と線形論理",
   year 	 = "1991",
   institution	 = "京都大学数理解析研究所",
   number	 = "32(1991-PRO-001)",
   month	 = "apr"
}