@techreport{weko_21771_1,
   author	 = "縄田,和裕 and 藤田,憲悦 and 石山,明宏 and 中島,隆",
   title	 = "Martin - L & Ouml;fの型理論に基づくプログラム支援システムの構築",
   year 	 = "1997",
   institution	 = "九州工業大学情報工学部, 九州工業大学情報工学部, 九州工業大学情報工学部, 九州工業大学情報工学部",
   number	 = "25(1996-SE-113)",
   month	 = "mar"
}