作者：Pierre-Louis; Curien切消线性逻辑计算机科学中的逻辑计算的交互模式语义程序设计语言
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《数学进展》（CN：11-2312/O1）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
统计源期刊
人气 138574 评论 46
省级期刊
人气 103606 评论 63
人气 85773 评论 61
人气 80909 评论 65
