逻辑栏目 16：高阶抽象语法：正本清源
计算机科学中的逻辑
2007-05-23 v1
摘要
本文作为对逻辑栏目 14 篇《名ereal Logic 与抽象语法》(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