逻辑专栏16：高阶抽象推理：澄清事实
Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight
摘要：
本文是对《逻辑专栏》第14栏“名义逻辑和抽象语法”中出现的对高阶抽象语法的批评的回应，引文编号LO/0511025。
英文摘要：
This article responds to a critique of higher-order abstract syntax appearing in Logic Column 14, ``Nominal Logic and Abstract Syntax'', cs.LO/0511025.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
