Session Types in Abelian Logic
Session Types in Abelian Logic
复制标题
阿贝尔逻辑中的会话类型
DOI：
10.4204/eptcs.137.4
复制
发表时间：
2013
影响因子：
--
通讯作者：
Yoichi Hirai
中科院分区：
文献类型：
--
作者：
Mian Wang;Takahiro Kawamura;Yuichi Sei;Hiroyuki Nakagawa;Yasuyuki Tahara and Akihiko Ohsuga;齋藤優子・劉庭秀・安東元吉;Yoichi Hirai
