@techreport{weko_30287_1,
   author	 = "平田,圭介 and 山本,章博",
   title	 = "出現によるラムダ計算の定義",
   year 	 = "1996",
   institution	 = "北海道大学電子情報工学, 北海道大学電子情報工学",
   number	 = "83(1996-PRO-009)",
   month	 = "sep"
}