TY  - RPRT
TI  - Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight
AU  - Karl Crary
AU  - Robert Harper
PY  - 2006
UR  - https://arxiv.org/abs/cs/0607141
ID  - cs/0607141
ER  -