キュウマ エイドウ
KYUUMA Eidou
久馬 栄道
所属
教養部 教養部本属
職種
准教授
言語種別
日本語
発行・発表の年月
1995/07
形態種別
大学・研究所等紀要
標題
型付きラムダ計算における自然数の２進表現と計算量の理論
執筆形態
単著
掲載誌名
愛知学院大学教養部紀要
巻・号・頁
43(1),57-61頁