摘要：多方会话类型中的去线性会话类型
作者：Nicolas Lagaillardie, Rumyana Neykova and Nobuko Yoshida
论文ID：2204.13464
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-04-29
PDF 下载： 英文版 中文版pdf翻译中