Mechanizing the Metatheory of LF
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Christian Urban, James Cheney, Stefan Berghofer
Mechanizing the Metatheory of LF
LICS, 2008.

LICS 2008
Full names Links ISxN
	author        = "Christian Urban and James Cheney and Stefan Berghofer",
	booktitle     = "{Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science}",
	doi           = "10.1109/LICS.2008.29",
	isbn          = "978-0-7695-3183-0",
	pages         = "45--56",
	publisher     = "{IEEE Computer Society}",
	title         = "{Mechanizing the Metatheory of LF}",
	year          = 2008,

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.