@techreport{weko_22011_1,
   author	 = "杉藤,芳雄",
   title	 = "ラムダ計算と図式表現",
   year 	 = "1994",
   institution	 = "電子技術総合研究所情報アーキテクチャ部言語システム研究室",
   number	 = "18(1993-SE-097)",
   month	 = "mar"
}