コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
発行・発表の年月 1996
形態種別 その他
標題 Refinement Gata no Riron wo Mochiita Evaluation Modality no Kaishaku (Interpretation of Evaluation Modality using Refinement Type Theory, in Japanese)
執筆形態 その他
掲載誌名 Proceedings of JSSST 13th Annual Conference
巻・号・頁 421-424頁
著者・共著者 Satoshi Kobayashi