摘要：将强正则化于β-归约的任何λ-项也强正则化于β, assoc-归约
作者：St''ephane Lengrand (LIX)
论文ID：0806.4859
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-09-02
PDF 下载： 英文版 中文版pdf翻译中