@article(2011arXiv1107.5252A,
 author       = "Benedikt Ahrens",
 year         = "2011",
 title        = "{Modules over relative monads for syntax and semantics}",
 journal      = "ArXiv e-prints",
)
@article(ahrens_zsido_JFR,
 author       = "Benedikt Ahrens and Julianna Zsid\'o",
 year         = "2011",
 title        = "Initial {S}emantics for higher-order typed syntax in {Coq}",
 journal      = "Journal of Formalized Reasoning",
 volume       = "4",
 number       = "1",
 pages        = "25--69",
)
@inproceedings(Alt-Reus,
 author       = "Thorsten Altenkirch and Bernhard Reus",
 year         = "1999",
 title        = "Monadic Presentations of Lambda Terms Using Generalized Inductive Types",
 booktitle    = "{CSL}",
 pages        = "453--468",
)
@inproceedings(PoplMark,
 author       = "B. Aydemir and A. Bohannon and M. Fairbairn and J. Foster and B. Pierce and P. Sewell and D. Vytiniotis and G. Washburn and S. Weirich and S. Zdancewic",
 year         = "2005",
 title        = "Mechanized metatheory for the masses: The {POPLmark} Challenge",
 booktitle    = "Proceedings of the Eighteenth International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005)",
)
@article(BPfold,
 author       = "Richard Bird and Ross Paterson",
 year         = "1999",
 title        = "Generalised Folds for Nested Datatypes",
 journal      = "Formal Aspects of Computing",
 volume       = "11",
 number       = "2",
 pages        = "200--222",
)
@article(BPdebruijn,
 author       = "Richard S. Bird and Ross Paterson",
 year         = "1999",
 title        = "De {B}ruijn Notation as a Nested Datatype",
 journal      = "Journal of Functional Programming",
 volume       = "9",
 number       = "1",
 pages        = "77--91",
)
@inproceedings(FPT,
 author       = "Marcelo Fiore and Gordon Plotkin and Daniele Turi",
 year         = "1999",
 title        = "Abstract Syntax and Variable Binding",
 booktitle    = "LICS '99: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "193",
)
@inproceedings(F08,
 author       = "Marcelo P. Fiore",
 year         = "2008",
 title        = "Second-Order and Dependently-Sorted Abstract Syntax",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "57--68",
 doi          = "10.1109/LICS.2008.38",
)
@inproceedings(DBLP:conf/csl/FioreH10,
 author       = "Marcelo P. Fiore and Chung-Kil Hur",
 year         = "2010",
 title        = "Second-Order Equational Logic (Extended Abstract)",
 editor       = "Anuj Dawar and Helmut Veith",
 booktitle    = "CSL",
 series       = "Lecture Notes in Computer Science",
 volume       = "6247",
 publisher    = "Springer",
 pages        = "320--335",
 doi          = "10.1007/978-3-642-15205-4\_26",
)
@inproceedings(DBLP:conf/mfcs/FioreM10,
 author       = "Marcelo P. Fiore and Ola Mahmoud",
 year         = "2010",
 title        = "Second-Order Algebraic Theories - (Extended Abstract)",
 editor       = "Petr Hlinen{\'y} and Anton\'{\i }n Kucera",
 booktitle    = "MFCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "6281",
 publisher    = "Springer",
 pages        = "368--380",
 doi          = "10.1007/978-3-642-15155-2\_33",
)
@inproceedings(FT01,
 author       = "Marcelo P. Fiore and Daniele Turi",
 year         = "2001",
 title        = "Semantics of Name and Value Passing",
 booktitle    = "Logic in Computer Science",
 pages        = "93--104",
)
@article(GU06,
 author       = "Neil Ghani and Tarmo Uustalu and Makoto Hamana",
 year         = "2006",
 title        = "{Explicit substitutions and higher-order syntax}",
 journal      = "{Higher-order and Symbolic Computation}",
 volume       = "19",
 number       = "2--3",
 pages        = "263--282",
)
@inproceedings(HM,
 author       = "Andr{\'e} Hirschowitz and Marco Maggesi",
 year         = "2007",
 title        = "Modules over Monads and Linearity",
 editor       = "Daniel Leivant and Ruy J. G. B. de Queiroz",
 booktitle    = "WoLLIC",
 series       = "Lecture Notes in Computer Science",
 volume       = "4576",
 publisher    = "Springer",
 pages        = "218--237",
 doi          = "10.1007/978-3-540-73445-1\_16",
)
@article(Hirschowitz-Maggesi-2010,
 author       = "Andr{\'e} Hirschowitz and Marco Maggesi",
 year         = "2010",
 title        = "Modules over monads and initial semantics",
 journal      = "Information and Computation",
 volume       = "208",
 number       = "5",
 pages        = "545--564",
 doi          = "10.1016/j.ic.2009.07.003",
 note         = "Special Issue: 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007)",
)
@article(HP07,
 author       = "Martin Hyland and John Power",
 year         = "2007",
 title        = "The category theoretic understanding of universal algebra: Lawvere theories and monads",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "172",
 pages        = "437--458",
 doi          = "10.1016/j.entcs.2007.02.019",
)
@article(MU03,
 author       = "Ralph Matthes and Tarmo Uustalu",
 year         = "2004",
 title        = "Substitution in non-wellfounded syntax with variable binding",
 journal      = "Theor. Comput. Sci.",
 volume       = "327",
 number       = "1-2",
 pages        = "155--174",
 doi          = "10.1016/j.tcs.2004.07.025",
)
@mastersthesis(Zsido,
 author       = "Julianna Zsid\'o",
 year         = "2005/06",
 title        = "Le lambda calcul vu comme monade initiale",
 school       = "Universit\'e de Nice -- Laboratoire J.~A.~Dieudonn\'e",
 note         = "M\'emoire de Recherche -- master 2",
)
@phdthesis(ju_phd,
 author       = "Julianna Zsid{\'o}",
 year         = "2010",
 title        = "{Typed Abstract Syntax}",
 school       = "University of Nice, France",
 note         = "\url {http://tel.archives-ouvertes.fr/tel-00535944/}",
)