摘要：Lang-n-Send+m：扩展Lang-n-Send的 pi-演算
作者：Matteo Cimini (University of Massachusetts Lowell, USA)
论文ID：2208.04635
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-08-10
PDF 下载： 英文版 中文版pdf翻译中