Robert Harper, Daniel R. Licata. Mechanizing metatheory in a logical framework. Journal of Functional Programming, 17(4-5):613-673, 2007. [doi]
@article{HarperL07, title = {Mechanizing metatheory in a logical framework}, author = {Robert Harper and Daniel R. Licata}, year = {2007}, doi = {10.1017/S0956796807006430}, url = {http://dx.doi.org/10.1017/S0956796807006430}, tags = {metatheory}, researchr = {https://researchr.org/publication/HarperL07}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {17}, number = {4-5}, pages = {613-673}, }