Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight
计算机科学中的逻辑
2007-05-23 v1
摘要
This article responds to a critique of higher-order abstract syntax appearing in Logic Column 14, ``Nominal Logic and Abstract Syntax'', cs.LO/0511025.
引用
@article{arxiv.cs/0607141,
title = {Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight},
author = {Karl Crary and Robert Harper},
journal= {arXiv preprint arXiv:cs/0607141},
year = {2007}
}
备注
4 pages