@techreport{weko_30903_1,
   author	 = "野口,憲一",
   title	 = "A new head - normalization algorithm for λ - calculus",
   year 	 = "1990",
   institution	 = "東京工業大学理学部情報科学科",
   number	 = "19(1989-PRO-034)",
   month	 = "mar"
}