ホシノ ナオヒコ   Hoshino Naohiko
  星野 直彦
   所属   崇城大学  情報学部 情報学科
   崇城大学大学院  工学研究科 応用情報学専攻(博士前期課程)
   職種   助教
発表年月日 2012
発表テーマ Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects
会議名 日本ソフトウェア科学会第29回大会
会議区分 国内会議
講演区分 特別講演・記念講演
単独共同区分 単独