摘要：回应《逻辑栏目14：名义逻辑和抽象语法中的高阶抽象语法批评》的文章。
作者：Karl Crary and Robert Harper
论文ID：cs/0607141
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中