@techreport{weko_30561_1,
   author	 = "西崎,真也",
   title	 = "環境をファースト・クラス・オブジェクトとして扱えるλ計算",
   year 	 = "1993",
   institution	 = "東京大学理学部情報科学科／京都大学理学研究科",
   number	 = "46(1993-PRO-012)",
   month	 = "may"
}