1. Brian E. Aydemir Arthur Charguéraud Benjamin C. Pierce Randy Pollack and Stephanie Weirich. 2008. Engineering Formal Metatheory. In POPL. 3–15. Brian E. Aydemir Arthur Charguéraud Benjamin C. Pierce Randy Pollack and Stephanie Weirich. 2008. Engineering Formal Metatheory. In POPL. 3–15.
2. Abella: A System for Reasoning about Relational Specifications;Baelde David;J. Formalized Reasoning,2014
3. Abella: A System for Reasoning about Relational Specifications;Baelde David;Journal of Formalized Reasoning,2014
4. David Baelde , Andrew Gacek , Dale Miller , Gopalan Nadathur , and Alwen Tiu . 2007 . The Bedwyr System for Model Checking over Syntactic Expressions. In Automated Deduction - CADE-21 , 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings(Lecture Notes in Computer Science, Vol. 4603) , Frank Pfenning (Ed.). Springer, 391–397. https://doi.org/10.1007/978-3-540-73595-3_28 10.1007/978-3-540-73595-3_28 David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, and Alwen Tiu. 2007. The Bedwyr System for Model Checking over Syntactic Expressions. In Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings(Lecture Notes in Computer Science, Vol. 4603), Frank Pfenning (Ed.). Springer, 391–397. https://doi.org/10.1007/978-3-540-73595-3_28
5. Henk P. Barendregt. 1984. The Lambda Calculus: its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics Vol. 103. North-Holland. Henk P. Barendregt. 1984. The Lambda Calculus: its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics Vol. 103. North-Holland.