@techreport{weko_31028_1,
   author	 = "堀田,英一",
   title	 = "型付きラムダ計算によるCCSの定式化とその効率のよい実行機構",
   year 	 = "1988",
   institution	 = "NTTソフトウェア研究所",
   number	 = "94(1988-PRO-027)",
   month	 = "dec"
}