TY  - RPRT
TI  - Mechanizing the Metatheory of LF
AU  - Christian Urban
AU  - James Cheney
AU  - Stefan Berghofer
PY  - 2010
UR  - https://arxiv.org/abs/0804.1667
ID  - 0804.1667
ER  -