コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
発行・発表の年月 1989
形態種別 その他
標題 Chokkan-shugi-teki Kinouteki Teigi ni Taisuru Jitsugen Kanousei Kaishaku (Realizability Interpretation of Intuitionistic Inductive Definitions, in Japanese)
執筆形態 その他
掲載誌名 Proceedings of JSSST 6th Annual Conference
巻・号・頁 113-116頁
著者・共著者 Satoshi Kobayashi,Makoto Tatsuta