ホシノ ナオヒコ   Hoshino Naohiko
  星野 直彦
   所属   崇城大学  情報学部 情報学科
   崇城大学大学院  工学研究科 応用情報学専攻(博士前期課程)
   職種   助教
発表年月日 2018
発表テーマ Partial Traces on Additive Categories
会議名 Mathematical Foundations of Programming Semantics
学会区分 国際学会
発表形式 口頭(一般)
単独共同区分 単独