摘要：刚性循环的两个等价语义投影及其详细评估
作者：Jan A. Bergstra and Alban Ponse
论文ID：0707.1059
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-07-10
PDF 下载： 英文版 中文版pdf翻译中