1. Modules over relative monads for syntax and semantics;Benedikt Ahrens;ArXiv e-prints,2011
2. Initial Semantics for higher-order typed syntax in Coq;Benedikt Ahrens;Journal of Formalized Reasoning,2011
3. Monadic Presentations of Lambda Terms Using Generalized Inductive Types;Thorsten Altenkirch,1999
4. Mechanized metatheory for the masses: The POPLmark Challenge;B. Aydemir,2005
5. Generalised Folds for Nested Datatypes;Richard Bird;Formal Aspects of Computing,1999