コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡
所属
京都産業大学 情報理工学部 情報理工学科
職種
教授
発表年月日
2008
発表テーマ
Game semantics and translational semantics for limit computable mathematics
会議名
Third NII TypeTheory Workshop
発表形式
その他