TY  - RPRT
TI  - Reasoning with Higher-Order Abstract Syntax in a Logical Framework
AU  - Raymond C. McDowell
AU  - Dale A. Miller
PY  - 2001
UR  - https://arxiv.org/abs/cs/0003062
ID  - cs/0003062
ER  -