@techreport{weko_30888_1,
   author	 = "三好,博之",
   title	 = "高階の強く型付けられた言語におけるEvaluationの対称性について",
   year 	 = "1990",
   institution	 = "慶應義塾大学理工学部数理科学科",
   number	 = "44(1990-PRO-035)",
   month	 = "may"
}