1. Adams, R.: A Modular Hierarchy of Logical Frameworks. Ph.D. thesis, University of Manchester (2004)
2. Ahrens, B., Zsido, J.: Initial semantics for higher-order typed syntax in Coq. Journal of Formalized Reasoning 4(1) (2011),
http://jfr.unibo.it/article/view/2066
3. Asperti, A., et al.: Formal metatheory of programming languages in the Matita interactive theorem prover. Journal of Automated Reasoning: Special Issue on the Poplmark Challenge 49(3), 427–451 (2012)
4. Aydemir, B., Weirich, S.: LNgen: Tool support for locally nameless representations. Tech. Rep. MS-CIS-10-24, University of Pennsylvania, Department of Computer and Information Science (2010)
5. Lecture Notes in Computer Science;B.E. Aydemir,2005