カツマタ シンヤ
KATSUMATA SHINYA
勝股 審也
所属
京都産業大学 理学部 数理科学科
職種
教授
発表年月日
2021/11/25
発表テーマ
Divergences on Monads for Relational Program Logic
会議名
DIAPASoN seminar
主催者
Universita di Bologna
国名
イタリア
会議区分
地方会議
講演区分
講師
単独共同区分
単独
招待講演
招待講演