title = {Mechanizing the Metatheory of LF.},
author = {Christian Urban and James Cheney and Stefan Berghofer}, booktitle = {LICS}, crossref = {conf/lics/2008}, pages = {45-56}, publisher = {IEEE Computer Society}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2008.html#UrbanCB08}, year = {2008}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.29}, isbn = {978-0-7695-3183-0}, date = {2008-06-25},
keywords = {dblp }
::