国際会議 2018年6月7日 Session types without sophistry IFIP Working Group 2.11, Eighteenth Meeting Oleg Kiselyov, Keigo Imai 記述言語 英語 会議種別 口頭発表(一般) 開催地 Kyoto University, Japan リンク情報 URLhttps://wiki.hh.se/wg211/index.php/WG211/M18_Kiselyov