BibTeX records: Neil Ghani

download as .bib file

@article{DBLP:journals/tcs/GhaniKLF18,
  author    = {Neil Ghani and
               Clemens Kupke and
               Alasdair Lambert and
               Fredrik Nordvall Forsberg},
  title     = {A compositional treatment of iterated open games},
  journal   = {Theor. Comput. Sci.},
  volume    = {741},
  pages     = {48--57},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.tcs.2018.05.026},
  doi       = {10.1016/j.tcs.2018.05.026},
  timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/GhaniKLF18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GhaniHWZ18,
  author    = {Neil Ghani and
               Jules Hedges and
               Viktor Winschel and
               Philipp Zahn},
  title     = {Compositional Game Theory},
  booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
  pages     = {472--481},
  year      = {2018},
  crossref  = {DBLP:conf/lics/2018},
  url       = {https://doi.org/10.1145/3209108.3209165},
  doi       = {10.1145/3209108.3209165},
  timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/GhaniHWZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/SwanKG17,
  author    = {Jerry Swan and
               Krzysztof Krawiec and
               Neil Ghani},
  title     = {Polytypic Genetic Programming},
  booktitle = {Applications of Evolutionary Computation - 20th European Conference,
               EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017,
               Proceedings, Part {II}},
  pages     = {66--81},
  year      = {2017},
  crossref  = {DBLP:conf/evoW/2017a-2},
  url       = {https://doi.org/10.1007/978-3-319-55792-2\_5},
  doi       = {10.1007/978-3-319-55792-2\_5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/evoW/SwanKG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GhaniMFS17,
  author    = {Neil Ghani and
               Conor McBride and
               Fredrik Nordvall Forsberg and
               Stephan Spahn},
  title     = {Variations on Inductive-Recursive Definitions},
  booktitle = {42nd International Symposium on Mathematical Foundations of Computer
               Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
  pages     = {63:1--63:13},
  year      = {2017},
  crossref  = {DBLP:conf/mfcs/2017},
  url       = {https://doi.org/10.4230/LIPIcs.MFCS.2017.63},
  doi       = {10.4230/LIPIcs.MFCS.2017.63},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/GhaniMFS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-07968,
  author    = {Neil Ghani and
               Clemens Kupke and
               Alasdair Lambert and
               Fredrik Nordvall Forsberg},
  title     = {A Compositional Treatment of Iterated Open Games},
  journal   = {CoRR},
  volume    = {abs/1711.07968},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.07968},
  archivePrefix = {arXiv},
  eprint    = {1711.07968},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-07968},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GhaniH16,
  author    = {Neil Ghani and
               Peter Hancock},
  title     = {Containers, monads and induction recursion},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {1},
  pages     = {89--113},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000127},
  doi       = {10.1017/S0960129514000127},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/GhaniH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GhaniFO16,
  author    = {Neil Ghani and
               Fredrik Nordvall Forsberg and
               Federico Orsanigo},
  title     = {Proof-Relevant Parametricity},
  booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
               Philip Wadler on the Occasion of His 60th Birthday},
  pages     = {109--131},
  year      = {2016},
  crossref  = {DBLP:conf/birthday/2016wadler},
  url       = {https://doi.org/10.1007/978-3-319-30936-1\_6},
  doi       = {10.1007/978-3-319-30936-1\_6},
  timestamp = {Fri, 02 Nov 2018 09:46:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/GhaniFO16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GhaniFS16,
  author    = {Neil Ghani and
               Fredrik Nordvall Forsberg and
               Alex Simpson},
  title     = {Comprehensive Parametric Polymorphism: Categorical Models and Type
               Theory},
  booktitle = {Foundations of Software Science and Computation Structures - 19th
               International Conference, {FOSSACS} 2016, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
               Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  pages     = {3--19},
  year      = {2016},
  crossref  = {DBLP:conf/fossacs/2016},
  url       = {https://doi.org/10.1007/978-3-662-49630-5\_1},
  doi       = {10.1007/978-3-662-49630-5\_1},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/GhaniFS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AhmanGP16,
  author    = {Danel Ahman and
               Neil Ghani and
               Gordon D. Plotkin},
  title     = {Dependent Types and Fibred Computational Effects},
  booktitle = {Foundations of Software Science and Computation Structures - 19th
               International Conference, {FOSSACS} 2016, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
               Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  pages     = {36--54},
  year      = {2016},
  crossref  = {DBLP:conf/fossacs/2016},
  url       = {https://doi.org/10.1007/978-3-662-49630-5\_3},
  doi       = {10.1007/978-3-662-49630-5\_3},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/AhmanGP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhaniH16,
  author    = {Neil Ghani and
               Jules Hedges},
  title     = {A compositional approach to economic game theory},
  journal   = {CoRR},
  volume    = {abs/1603.04641},
  year      = {2016},
  url       = {http://arxiv.org/abs/1603.04641},
  archivePrefix = {arXiv},
  eprint    = {1603.04641},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GhaniH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhaniMF15,
  author    = {Neil Ghani and
               Lorenzo Malatesta and
               Fredrik Nordvall Forsberg},
  title     = {Positive Inductive-Recursive Definitions},
  journal   = {Logical Methods in Computer Science},
  volume    = {11},
  number    = {1},
  year      = {2015},
  url       = {https://doi.org/10.2168/LMCS-11(1:13)2015},
  doi       = {10.2168/LMCS-11(1:13)2015},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GhaniMF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GhaniJFOR15,
  author    = {Neil Ghani and
               Patricia Johann and
               Fredrik Nordvall Forsberg and
               Federico Orsanigo and
               Tim Revell},
  title     = {Bifibrational Functorial Semantics of Parametric Polymorphism},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {319},
  pages     = {165--181},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.entcs.2015.12.011},
  doi       = {10.1016/j.entcs.2015.12.011},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GhaniJFOR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AltenkirchGHMM15,
  author    = {Thorsten Altenkirch and
               Neil Ghani and
               Peter Hancock and
               Conor McBride and
               Peter Morris},
  title     = {Indexed containers},
  journal   = {J. Funct. Program.},
  volume    = {25},
  year      = {2015},
  url       = {https://doi.org/10.1017/S095679681500009X},
  doi       = {10.1017/S095679681500009X},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/AltenkirchGHMM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/AtkeyGFRS15,
  author    = {Robert Atkey and
               Neil Ghani and
               Fredrik Nordvall Forsberg and
               Timothy Revell and
               Sam Staton},
  title     = {Models for Polymorphism over Physical Dimension},
  booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
               {TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
  pages     = {45--59},
  year      = {2015},
  crossref  = {DBLP:conf/tlca/2015},
  url       = {https://doi.org/10.4230/LIPIcs.TLCA.2015.45},
  doi       = {10.4230/LIPIcs.TLCA.2015.45},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/AtkeyGFRS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GhaniFO15,
  author    = {Neil Ghani and
               Fredrik Nordvall Forsberg and
               Federico Orsanigo},
  title     = {Parametric Polymorphism - Universally},
  booktitle = {Logic, Language, Information, and Computation - 22nd International
               Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings},
  pages     = {81--92},
  year      = {2015},
  crossref  = {DBLP:conf/wollic/2015},
  url       = {https://doi.org/10.1007/978-3-662-47709-0\_7},
  doi       = {10.1007/978-3-662-47709-0\_7},
  timestamp = {Wed, 14 Nov 2018 10:55:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wollic/GhaniFO15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AtkeyGJ14,
  author    = {Robert Atkey and
               Neil Ghani and
               Patricia Johann},
  title     = {A relationally parametric model of dependent type theory},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {503--516},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {https://doi.org/10.1145/2535838.2535852},
  doi       = {10.1145/2535838.2535852},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/AtkeyGJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhaniJF13,
  author    = {Neil Ghani and
               Patricia Johann and
               Cl{\'{e}}ment Fumex},
  title     = {Indexed Induction and Coinduction, Fibrationally},
  journal   = {Logical Methods in Computer Science},
  volume    = {9},
  number    = {3},
  year      = {2013},
  url       = {https://doi.org/10.2168/LMCS-9(3:6)2013},
  doi       = {10.2168/LMCS-9(3:6)2013},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GhaniJF13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GhaniMF13,
  author    = {Neil Ghani and
               Lorenzo Malatesta and
               Fredrik Nordvall Forsberg},
  title     = {Positive Inductive-Recursive Definitions},
  booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
               {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
  pages     = {19--33},
  year      = {2013},
  crossref  = {DBLP:conf/calco/2013},
  url       = {https://doi.org/10.1007/978-3-642-40206-7\_3},
  doi       = {10.1007/978-3-642-40206-7\_3},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/calco/GhaniMF13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GhaniMFS13,
  author    = {Neil Ghani and
               Lorenzo Malatesta and
               Fredrik Nordvall Forsberg and
               Anton Setzer},
  title     = {Fibred Data Types},
  booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
               2013, New Orleans, LA, USA, June 25-28, 2013},
  pages     = {243--252},
  year      = {2013},
  crossref  = {DBLP:conf/lics/2013},
  url       = {https://doi.org/10.1109/LICS.2013.30},
  doi       = {10.1109/LICS.2013.30},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/GhaniMFS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/HancockMGMA13,
  author    = {Peter Hancock and
               Conor McBride and
               Neil Ghani and
               Lorenzo Malatesta and
               Thorsten Altenkirch},
  title     = {Small Induction Recursion},
  booktitle = {Typed Lambda Calculi and Applications, 11th International Conference,
               {TLCA} 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings},
  pages     = {156--172},
  year      = {2013},
  crossref  = {DBLP:conf/tlca/2013},
  url       = {https://doi.org/10.1007/978-3-642-38946-7\_13},
  doi       = {10.1007/978-3-642-38946-7\_13},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/HancockMGMA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-2492,
  author    = {Robert Atkey and
               Patricia Johann and
               Neil Ghani},
  title     = {Refining Inductive Types},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {2},
  year      = {2012},
  url       = {https://doi.org/10.2168/LMCS-8(2:9)2012},
  doi       = {10.2168/LMCS-8(2:9)2012},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1205-2492},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-0357,
  author    = {Neil Ghani and
               Patricia Johann and
               Cl{\'{e}}ment Fumex},
  title     = {Generic Fibrational Induction},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {2},
  year      = {2012},
  url       = {https://doi.org/10.2168/LMCS-8(2:12)2012},
  doi       = {10.2168/LMCS-8(2:12)2012},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1206-0357},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AtkeyGJJ12,
  author    = {Robert Atkey and
               Neil Ghani and
               Bart Jacobs and
               Patricia Johann},
  title     = {Fibrational Induction Meets Effects},
  booktitle = {Foundations of Software Science and Computational Structures - 15th
               International Conference, {FOSSACS} 2012, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
               Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  pages     = {42--57},
  year      = {2012},
  crossref  = {DBLP:conf/fossacs/2012},
  url       = {https://doi.org/10.1007/978-3-642-28729-9\_3},
  doi       = {10.1007/978-3-642-28729-9\_3},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/AtkeyGJJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/JaskelioffGH11,
  author    = {Mauro Jaskelioff and
               Neil Ghani and
               Graham Hutton},
  title     = {Modularity and Implementation of Mathematical Operational Semantics},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {229},
  number    = {5},
  pages     = {75--95},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.entcs.2011.02.017},
  doi       = {10.1016/j.entcs.2011.02.017},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/JaskelioffGH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/FumexGJ11,
  author    = {Cl{\'{e}}ment Fumex and
               Neil Ghani and
               Patricia Johann},
  title     = {Indexed Induction and Coinduction, Fibrationally},
  booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
               {CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
  pages     = {176--191},
  year      = {2011},
  crossref  = {DBLP:conf/calco/2011},
  url       = {https://doi.org/10.1007/978-3-642-22944-2\_13},
  doi       = {10.1007/978-3-642-22944-2\_13},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/FumexGJ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AtkeyJG11,
  author    = {Robert Atkey and
               Patricia Johann and
               Neil Ghani},
  title     = {When Is a Type Refinement an Inductive Type?},
  booktitle = {Foundations of Software Science and Computational Structures - 14th
               International Conference, {FOSSACS} 2011, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2011,
               Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  pages     = {72--87},
  year      = {2011},
  crossref  = {DBLP:conf/fossacs/2011},
  url       = {https://doi.org/10.1007/978-3-642-19805-2\_6},
  doi       = {10.1007/978-3-642-19805-2\_6},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/AtkeyJG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GhaniJF10,
  author    = {Neil Ghani and
               Patricia Johann and
               Cl{\'{e}}ment Fumex},
  title     = {Fibrational Induction Rules for Initial Algebras},
  booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
               Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
               2010. Proceedings},
  pages     = {336--350},
  year      = {2010},
  crossref  = {DBLP:conf/csl/2010},
  url       = {https://doi.org/10.1007/978-3-642-15205-4\_27},
  doi       = {10.1007/978-3-642-15205-4\_27},
  timestamp = {Wed, 14 Nov 2018 10:52:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csl/GhaniJF10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-4813,
  author    = {Neil Ghani and
               Peter Hancock and
               Dirk Pattinson},
  title     = {Representations of Stream Processors Using Nested Fixed Points},
  journal   = {Logical Methods in Computer Science},
  volume    = {5},
  number    = {3},
  year      = {2009},
  url       = {http://arxiv.org/abs/0905.4813},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0905-4813},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GhaniHP09,
  author    = {Neil Ghani and
               Peter Hancock and
               Dirk Pattinson},
  title     = {Continuous Functions on Final Coalgebras},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {249},
  pages     = {3--18},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.07.081},
  doi       = {10.1016/j.entcs.2009.07.081},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GhaniHP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MorrisAG09,
  author    = {Peter Morris and
               Thorsten Altenkirch and
               Neil Ghani},
  title     = {A Universe of Strictly Positive Families},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {20},
  number    = {1},
  pages     = {83--107},
  year      = {2009},
  url       = {https://doi.org/10.1142/S0129054109006462},
  doi       = {10.1142/S0129054109006462},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijfcs/MorrisAG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/JohannG09,
  author    = {Patricia Johann and
               Neil Ghani},
  title     = {A principled approach to programming with nested types in Haskell},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {22},
  number    = {2},
  pages     = {155--189},
  year      = {2009},
  url       = {https://doi.org/10.1007/s10990-009-9047-7},
  doi       = {10.1007/s10990-009-9047-7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/JohannG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/PrinceGM08,
  author    = {Rawle C. S. Prince and
               Neil Ghani and
               Conor McBride},
  title     = {Proving Properties about Lists Using Containers},
  booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
               2008, Ise, Japan, April 14-16, 2008. Proceedings},
  pages     = {97--112},
  year      = {2008},
  crossref  = {DBLP:conf/flops/2008},
  url       = {https://doi.org/10.1007/978-3-540-78969-7\_9},
  doi       = {10.1007/978-3-540-78969-7\_9},
  timestamp = {Mon, 12 Jun 2017 16:41:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/PrinceGM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JohannG08,
  author    = {Patricia Johann and
               Neil Ghani},
  title     = {Foundations for structured programming with GADTs},
  booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2008, San Francisco, California,
               USA, January 7-12, 2008},
  pages     = {297--308},
  year      = {2008},
  crossref  = {DBLP:conf/popl/2008},
  url       = {https://doi.org/10.1145/1328438.1328475},
  doi       = {10.1145/1328438.1328475},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/JohannG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GhaniJ08,
  author    = {Neil Ghani and
               Patricia Johann},
  title     = {Short Cut Fusion for Effects},
  booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
               {TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008.},
  pages     = {113--128},
  year      = {2008},
  crossref  = {DBLP:conf/sfp/2008},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/GhaniJ08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GhaniJ07,
  author    = {Neil Ghani and
               Patricia Johann},
  title     = {Monadic augment and generalised short cut fusion},
  journal   = {J. Funct. Program.},
  volume    = {17},
  number    = {6},
  pages     = {731--776},
  year      = {2007},
  url       = {https://doi.org/10.1017/S0956796807006314},
  doi       = {10.1017/S0956796807006314},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/GhaniJ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GhaniK07,
  author    = {Neil Ghani and
               Alexander Kurz},
  title     = {Higher Dimensional Trees, Algebraically},
  booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
               {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  pages     = {226--241},
  year      = {2007},
  crossref  = {DBLP:conf/calco/2007},
  url       = {https://doi.org/10.1007/978-3-540-73859-6\_16},
  doi       = {10.1007/978-3-540-73859-6\_16},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/GhaniK07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/MorrisAG07,
  author    = {Peter Morris and
               Thorsten Altenkirch and
               Neil Ghani},
  title     = {Constructing Strictly Positive Families},
  booktitle = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
               The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
               2, 2007, Ballarat, Victoria, Australia, Proceedings},
  pages     = {111--121},
  year      = {2007},
  crossref  = {DBLP:conf/cats/2007},
  url       = {http://crpit.com/abstracts/CRPITV65Morris.html},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cats/MorrisAG07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/JohannG07,
  author    = {Patricia Johann and
               Neil Ghani},
  title     = {Initial Algebra Semantics Is Enough!},
  booktitle = {Typed Lambda Calculi and Applications, 8th International Conference,
               {TLCA} 2007, Paris, France, June 26-28, 2007, Proceedings},
  pages     = {207--222},
  year      = {2007},
  crossref  = {DBLP:conf/tlca/2007},
  url       = {https://doi.org/10.1007/978-3-540-73228-0\_16},
  doi       = {10.1007/978-3-540-73228-0\_16},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/JohannG07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GhaniP06,
  author    = {Neil Ghani and
               John Power},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {164},
  number    = {1},
  pages     = {1--2},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2006.06.001},
  doi       = {10.1016/j.entcs.2006.06.001},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GhaniP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GhaniHP06,
  author    = {Neil Ghani and
               Peter Hancock and
               Dirk Pattinson},
  title     = {Continuous Functions on Final Coalgebras},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {164},
  number    = {1},
  pages     = {141--155},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2006.06.009},
  doi       = {10.1016/j.entcs.2006.06.009},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GhaniHP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BrownGHW06,
  author    = {Ronald Brown and
               Neil Ghani and
               Anne Heyworth and
               Christopher D. Wensley},
  title     = {String rewriting for double coset systems},
  journal   = {J. Symb. Comput.},
  volume    = {41},
  number    = {5},
  pages     = {573--590},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.jsc.2005.10.004},
  doi       = {10.1016/j.jsc.2005.10.004},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/BrownGHW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GhaniUH06,
  author    = {Neil Ghani and
               Tarmo Uustalu and
               Makoto Hamana},
  title     = {Explicit substitutions and higher-order syntax},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {19},
  number    = {2-3},
  pages     = {263--282},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10990-006-8748-4},
  doi       = {10.1007/s10990-006-8748-4},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/GhaniUH06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GlimmingG05,
  author    = {Johan Glimming and
               Neil Ghani},
  title     = {Difunctorial Semantics of Object Calculus},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {138},
  number    = {2},
  pages     = {79--94},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.09.012},
  doi       = {10.1016/j.entcs.2005.09.012},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GlimmingG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbbottAMG05,
  author    = {Michael Gordon Abbott and
               Thorsten Altenkirch and
               Conor McBride and
               Neil Ghani},
  title     = {for Data: Differentiating Data Structures},
  journal   = {Fundam. Inform.},
  volume    = {65},
  number    = {1-2},
  pages     = {1--28},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-02},
  timestamp = {Fri, 16 Sep 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/AbbottAMG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GhaniLM05,
  author    = {Neil Ghani and
               Christoph L{\"{u}}th and
               Federico De Marchi},
  title     = {Monads of coalgebras: rational terms and term graphs},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {15},
  number    = {3},
  pages     = {433--451},
  year      = {2005},
  url       = {https://doi.org/10.1017/S0960129505004743},
  doi       = {10.1017/S0960129505004743},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/GhaniLM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbbottAG05,
  author    = {Michael Gordon Abbott and
               Thorsten Altenkirch and
               Neil Ghani},
  title     = {Containers: Constructing strictly positive types},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {1},
  pages     = {3--27},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.06.002},
  doi       = {10.1016/j.tcs.2005.06.002},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AbbottAG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GhaniJUV05,
  author    = {Neil Ghani and
               Patricia Johann and
               Tarmo Uustalu and
               Varmo Vene},
  title     = {Monadic augment and generalised short cut fusion},
  booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
               2005},
  pages     = {294--305},
  year      = {2005},
  crossref  = {DBLP:conf/icfp/2005},
  url       = {https://doi.org/10.1145/1086365.1086403},
  doi       = {10.1145/1086365.1086403},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/GhaniJUV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AbbottGL05,
  author    = {Michael Gordon Abbott and
               Neil Ghani and
               Christoph L{\"{u}}th},
  title     = {Abstract Modularity},
  booktitle = {Term Rewriting and Applications, 16th International Conference, {RTA}
               2005, Nara, Japan, April 19-21, 2005, Proceedings},
  pages     = {46--60},
  year      = {2005},
  crossref  = {DBLP:conf/rta/2005},
  url       = {https://doi.org/10.1007/978-3-540-32033-3\_5},
  doi       = {10.1007/978-3-540-32033-3\_5},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/AbbottGL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GhaniYV04,
  author    = {Neil Ghani and
               Kidane Yemane and
               Bj{\"{o}}rn Victor},
  title     = {Relationally Staged Computations in Calculi of Mobile Processes},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {106},
  pages     = {105--120},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.02.027},
  doi       = {10.1016/j.entcs.2004.02.027},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GhaniYV04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/GhaniU04,
  author    = {Neil Ghani and
               Tarmo Uustalu},
  title     = {Coproducts of Ideal Monads},
  journal   = {{ITA}},
  volume    = {38},
  number    = {4},
  pages     = {321--342},
  year      = {2004},
  url       = {https://doi.org/10.1051/ita:2004016},
  doi       = {10.1051/ita:2004016},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ita/GhaniU04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GhaniUV04,
  author    = {Neil Ghani and
               Tarmo Uustalu and
               Varmo Vene},
  title     = {Build, Augment and Destroy, Universally},
  booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
               2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
  pages     = {327--347},
  year      = {2004},
  crossref  = {DBLP:conf/aplas/2004},
  url       = {https://doi.org/10.1007/978-3-540-30477-7\_22},
  doi       = {10.1007/978-3-540-30477-7\_22},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/GhaniUV04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AbbottAG04,
  author    = {Michael Gordon Abbott and
               Thorsten Altenkirch and
               Neil Ghani},
  title     = {Representing Nested Inductive Types Using W-Types},
  booktitle = {Automata, Languages and Programming: 31st International Colloquium,
               {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
  pages     = {59--71},
  year      = {2004},
  crossref  = {DBLP:conf/icalp/2004},
  url       = {https://doi.org/10.1007/978-3-540-27836-8\_8},
  doi       = {10.1007/978-3-540-27836-8\_8},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/AbbottAG04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AbbottAGM04,
  author    = {Michael Gordon Abbott and
               Thorsten Altenkirch and
               Neil Ghani and
               Conor McBride},
  title     = {Constructing Polymorphic Programs with Quotient Types},
  booktitle = {Mathematics of Program Construction, 7th International Conference,
               {MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  pages     = {2--15},
  year      = {2004},
  crossref  = {DBLP:conf/mpc/2004},
  url       = {https://doi.org/10.1007/978-3-540-27764-4\_2},
  doi       = {10.1007/978-3-540-27764-4\_2},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/AbbottAGM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GhaniUV04,
  author    = {Neil Ghani and
               Tarmo Uustalu and
               Varmo Vene},
  title     = {Generalizing the {AUGMENT} combinator},
  booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
               Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
               2004.},
  pages     = {65--78},
  year      = {2004},
  crossref  = {DBLP:conf/sfp/2004},
  timestamp = {Thu, 25 Oct 2007 12:04:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/GhaniUV04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/MarchiGL03,
  author    = {Federico De Marchi and
               Neil Ghani and
               Christoph L{\"{u}}th},
  title     = {Solving Algebraic Equations Using Coalgebra},
  journal   = {{ITA}},
  volume    = {37},
  number    = {4},
  pages     = {301--314},
  year      = {2003},
  url       = {https://doi.org/10.1051/ita:2003021},
  doi       = {10.1051/ita:2003021},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ita/MarchiGL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GhaniLMP03,
  author    = {Neil Ghani and
               Christoph L{\"{u}}th and
               Federico De Marchi and
               John Power},
  title     = {Dualising Initial Algebras},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {13},
  number    = {2},
  pages     = {349--370},
  year      = {2003},
  url       = {https://doi.org/10.1017/S0960129502003912},
  doi       = {10.1017/S0960129502003912},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/GhaniLMP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GhaniL03,
  author    = {Neil Ghani and
               Christoph L{\"{u}}th},
  title     = {Rewriting Via Coinserters},
  journal   = {Nord. J. Comput.},
  volume    = {10},
  number    = {4},
  pages     = {290--312},
  year      = {2003},
  timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/njc/GhaniL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AbbottAG03,
  author    = {Michael Gordon Abbott and
               Thorsten Altenkirch and
               Neil Ghani},
  title     = {Categories of Containers},
  booktitle = {Foundations of Software Science and Computational Structures, 6th
               International Conference, {FOSSACS} 2003 Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  pages     = {23--38},
  year      = {2003},
  crossref  = {DBLP:conf/fossacs/2003},
  url       = {https://doi.org/10.1007/3-540-36576-1\_2},
  doi       = {10.1007/3-540-36576-1\_2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/AbbottAG03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GhaniU03,
  author    = {Neil Ghani and
               Tarmo Uustalu},
  title     = {Explicit substitutions and higher-order syntax},
  booktitle = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
               Workshop on Mechanized reasoning about languages with variable binding,
               {MERLIN} 2003, Uppsala, Sweden, August 2003},
  year      = {2003},
  crossref  = {DBLP:conf/icfp/2003merlin},
  url       = {https://doi.org/10.1145/976571.976580},
  doi       = {10.1145/976571.976580},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/GhaniU03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GhaniH03,
  author    = {Neil Ghani and
               Anne Heyworth},
  title     = {A Rewriting Alternative to Reidemeister-Schreier},
  booktitle = {Rewriting Techniques and Applications, 14th International Conference,
               {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  pages     = {452--466},
  year      = {2003},
  crossref  = {DBLP:conf/rta/2003},
  url       = {https://doi.org/10.1007/3-540-44881-0\_32},
  doi       = {10.1007/3-540-44881-0\_32},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/GhaniH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/AbbottAGM03,
  author    = {Michael Gordon Abbott and
               Thorsten Altenkirch and
               Neil Ghani and
               Conor McBride},
  title     = {Derivatives of Containers},
  booktitle = {Typed Lambda Calculi and Applications, 6th International Conference,
               {TLCA} 2003, Valencia, Spain, June 10-12, 2003, Proceedings.},
  pages     = {16--30},
  year      = {2003},
  crossref  = {DBLP:conf/tlca/2003},
  url       = {https://doi.org/10.1007/3-540-44904-3\_2},
  doi       = {10.1007/3-540-44904-3\_2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/AbbottAGM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GhaniH02,
  author    = {Neil Ghani and
               Anne Heyworth},
  title     = {Computing over K-modules},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {61},
  pages     = {34--50},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)00304-4},
  doi       = {10.1016/S1571-0661(04)00304-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GhaniH02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GhaniLM02,
  author    = {Neil Ghani and
               Christoph L{\"{u}}th and
               Federico De Marchi},
  title     = {Coalgebraic Monads},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {65},
  number    = {1},
  pages     = {71--91},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80360-8},
  doi       = {10.1016/S1571-0661(04)80360-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GhaniLM02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/GhaniLM02,
  author    = {Neil Ghani and
               Christoph L{\"{u}}th and
               Federico De Marchi},
  title     = {Coalgebraic approaches to algebraic terms},
  booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
               20-21 July 2002, Preliminary Proceedings},
  pages     = {6--8},
  year      = {2002},
  crossref  = {DBLP:conf/fics/2002},
  timestamp = {Tue, 11 Jan 2005 11:03:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fics/GhaniLM02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LuthG02,
  author    = {Christoph L{\"{u}}th and
               Neil Ghani},
  title     = {Monads and Modularity},
  booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
               2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
  pages     = {18--32},
  year      = {2002},
  crossref  = {DBLP:conf/frocos/2002},
  url       = {https://doi.org/10.1007/3-540-45988-X\_3},
  doi       = {10.1007/3-540-45988-X\_3},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/LuthG02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LuthG02,
  author    = {Christoph L{\"{u}}th and
               Neil Ghani},
  title     = {Composing monads using coproducts},
  booktitle = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
               USA, October 4-6, 2002.},
  pages     = {133--144},
  year      = {2002},
  crossref  = {DBLP:conf/icfp/2002},
  url       = {https://doi.org/10.1145/581478.581492},
  doi       = {10.1145/581478.581492},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/LuthG02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GhaniLMP01,
  author    = {Neil Ghani and
               Christoph L{\"{u}}th and
               Federico De Marchi and
               John Power},
  title     = {Algebras, Coalgebras, Monads and Comonads},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {44},
  number    = {1},
  pages     = {128--145},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1571-0661(04)80905-8},
  doi       = {10.1016/S1571-0661(04)80905-8},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GhaniLMP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GhaniPR00,
  author    = {Neil Ghani and
               Valeria de Paiva and
               Eike Ritter},
  title     = {Linear Explicit Substitutions},
  journal   = {Logic Journal of the {IGPL}},
  volume    = {8},
  number    = {1},
  pages     = {7--31},
  year      = {2000},
  url       = {https://doi.org/10.1093/jigpal/8.1.7},
  doi       = {10.1093/jigpal/8.1.7},
  timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/igpl/GhaniPR00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GhaniPR99,
  author    = {Neil Ghani and
               Valeria de Paiva and
               Eike Ritter},
  title     = {Categorical Models of Explicit Substitutions},
  booktitle = {Foundations of Software Science and Computation Structure, Second
               International Conference, FoSSaCS'99, Held as Part of the European
               Joint Conferences on the Theory and Practice of Software, ETAPS'99,
               Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  pages     = {197--211},
  year      = {1999},
  crossref  = {DBLP:conf/fossacs/1999},
  url       = {https://doi.org/10.1007/3-540-49019-1\_14},
  doi       = {10.1007/3-540-49019-1\_14},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/GhaniPR99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GhaniPR98,
  author    = {Neil Ghani and
               Valeria de Paiva and
               Eike Ritter},
  title     = {Explicit Substitutions for Constructive Necessity},
  booktitle = {Automata, Languages and Programming, 25th International Colloquium,
               ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
  pages     = {743--754},
  year      = {1998},
  crossref  = {DBLP:conf/icalp/1998},
  url       = {https://doi.org/10.1007/BFb0055098},
  doi       = {10.1007/BFb0055098},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/GhaniPR98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/LuethG97,
  author    = {Christoph L{\"{u}}th and
               Neil Ghani},
  title     = {Monads and Modular Term Rewriting},
  booktitle = {Category Theory and Computer Science, 7th International Conference,
               {CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
  pages     = {69--86},
  year      = {1997},
  crossref  = {DBLP:conf/ctcs/1997},
  url       = {https://doi.org/10.1007/BFb0026982},
  doi       = {10.1007/BFb0026982},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ctcs/LuethG97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CosmoG97,
  author    = {Roberto Di Cosmo and
               Neil Ghani},
  title     = {On Modular Properties of Higher Order Extensional Lambda Calculi},
  booktitle = {Automata, Languages and Programming, 24th International Colloquium,
               ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
  pages     = {237--247},
  year      = {1997},
  crossref  = {DBLP:conf/icalp/1997},
  url       = {https://doi.org/10.1007/3-540-63165-8\_181},
  doi       = {10.1007/3-540-63165-8\_181},
  timestamp = {Mon, 22 May 2017 17:11:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/CosmoG97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Ghani97,
  author    = {Neil Ghani},
  title     = {Eta-Expansions in Dependent Type Theory - The Calculus of Constructions},
  booktitle = {Typed Lambda Calculi and Applications, Third International Conference
               on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
               April 2-4, 1997, Proceedings},
  pages     = {164--180},
  year      = {1997},
  crossref  = {DBLP:conf/tlca/1997},
  url       = {https://doi.org/10.1007/3-540-62688-3\_35},
  doi       = {10.1007/3-540-62688-3\_35},
  timestamp = {Mon, 22 May 2017 17:11:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/Ghani97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Ghani96,
  author    = {Neil Ghani},
  title     = {Eta-Expansions in F\({}^{\mbox{omega}}\)},
  booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
               Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
               1996, Selected Papers},
  pages     = {182--197},
  year      = {1996},
  crossref  = {DBLP:conf/csl/1996},
  url       = {https://doi.org/10.1007/3-540-63172-0\_39},
  doi       = {10.1007/3-540-63172-0\_39},
  timestamp = {Mon, 22 May 2017 17:11:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/Ghani96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JayG95,
  author    = {C. Barry Jay and
               Neil Ghani},
  title     = {The Virtues of Eta-Expansion},
  journal   = {J. Funct. Program.},
  volume    = {5},
  number    = {2},
  pages     = {135--154},
  year      = {1995},
  url       = {https://doi.org/10.1017/S0956796800001301},
  doi       = {10.1017/S0956796800001301},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/JayG95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Ghani95,
  author    = {Neil Ghani},
  title     = {{\ss}n-Equality for Coproducts},
  booktitle = {Typed Lambda Calculi and Applications, Second International Conference
               on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
               April 10-12, 1995, Proceedings},
  pages     = {171--185},
  year      = {1995},
  crossref  = {DBLP:conf/tlca/1995},
  url       = {https://doi.org/10.1007/BFb0014052},
  doi       = {10.1007/BFb0014052},
  timestamp = {Thu, 15 Jun 2017 21:40:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/Ghani95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2018,
  editor    = {Anuj Dawar and
               Erich Gr{\"{a}}del},
  title     = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3209108},
  doi       = {10.1145/3209108},
  timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/evoW/2017a-2,
  editor    = {Giovanni Squillero and
               Kevin Sim},
  title     = {Applications of Evolutionary Computation - 20th European Conference,
               EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017,
               Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10200},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-55792-2},
  doi       = {10.1007/978-3-319-55792-2},
  isbn      = {978-3-319-55791-5},
  timestamp = {Sun, 21 May 2017 00:20:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/evoW/2017a-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2017,
  editor    = {Kim G. Larsen and
               Hans L. Bodlaender and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {42nd International Symposium on Mathematical Foundations of Computer
               Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
  series    = {LIPIcs},
  volume    = {83},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-046-0},
  isbn      = {978-3-95977-046-0},
  timestamp = {Fri, 01 Dec 2017 11:19:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016wadler,
  editor    = {Sam Lindley and
               Conor McBride and
               Philip W. Trinder and
               Donald Sannella},
  title     = {A List of Successes That Can Change the World - Essays Dedicated to
               Philip Wadler on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9600},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-30936-1},
  doi       = {10.1007/978-3-319-30936-1},
  isbn      = {978-3-319-30935-4},
  timestamp = {Fri, 02 Nov 2018 09:46:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2016wadler},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2016,
  editor    = {Bart Jacobs and
               Christof L{\"{o}}ding},
  title     = {Foundations of Software Science and Computation Structures - 19th
               International Conference, {FOSSACS} 2016, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
               Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9634},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49630-5},
  doi       = {10.1007/978-3-662-49630-5},
  isbn      = {978-3-662-49629-9},
  timestamp = {Tue, 23 May 2017 01:08:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/2015,
  editor    = {Thorsten Altenkirch},
  title     = {13th International Conference on Typed Lambda Calculi and Applications,
               {TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
  series    = {LIPIcs},
  volume    = {38},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-87-3},
  isbn      = {978-3-939897-87-3},
  timestamp = {Tue, 05 Apr 2016 18:11:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2015,
  editor    = {Valeria de Paiva and
               Ruy J. G. B. de Queiroz and
               Lawrence S. Moss and
               Daniel Leivant and
               Anjolina Grisi de Oliveira},
  title     = {Logic, Language, Information, and Computation - 22nd International
               Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9160},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-47709-0},
  doi       = {10.1007/978-3-662-47709-0},
  isbn      = {978-3-662-47708-3},
  timestamp = {Wed, 14 Nov 2018 10:55:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wollic/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2014,
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  title     = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2535838},
  isbn      = {978-1-4503-2544-8},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2013,
  editor    = {Reiko Heckel and
               Stefan Milius},
  title     = {Algebra and Coalgebra in Computer Science - 5th International Conference,
               {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8089},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40206-7},
  doi       = {10.1007/978-3-642-40206-7},
  isbn      = {978-3-642-40205-0},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2013,
  title     = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
               2013, New Orleans, LA, USA, June 25-28, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6570844},
  isbn      = {978-1-4799-0413-6},
  timestamp = {Wed, 27 May 2015 19:02:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/2013,
  editor    = {Masahito Hasegawa},
  title     = {Typed Lambda Calculi and Applications, 11th International Conference,
               {TLCA} 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7941},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38946-7},
  doi       = {10.1007/978-3-642-38946-7},
  isbn      = {978-3-642-38945-0},
  timestamp = {Wed, 17 May 2017 14:24:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2012,
  editor    = {Lars Birkedal},
  title     = {Foundations of Software Science and Computational Structures - 15th
               International Conference, {FOSSACS} 2012, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
               Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7213},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28729-9},
  doi       = {10.1007/978-3-642-28729-9},
  isbn      = {978-3-642-28728-2},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2011,
  editor    = {Andrea Corradini and
               Bartek Klin and
               Corina C{\^{\i}}rstea},
  title     = {Algebra and Coalgebra in Computer Science - 4th International Conference,
               {CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6859},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22944-2},
  doi       = {10.1007/978-3-642-22944-2},
  isbn      = {978-3-642-22943-5},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2011,
  editor    = {Martin Hofmann},
  title     = {Foundations of Software Science and Computational Structures - 14th
               International Conference, {FOSSACS} 2011, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2011,
               Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6604},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19805-2},
  doi       = {10.1007/978-3-642-19805-2},
  isbn      = {978-3-642-19804-5},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2010,
  editor    = {Anuj Dawar and
               Helmut Veith},
  title     = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
               Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6247},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15205-4},
  doi       = {10.1007/978-3-642-15205-4},
  isbn      = {978-3-642-15204-7},
  timestamp = {Wed, 14 Nov 2018 10:52:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2008,
  editor    = {Jacques Garrigue and
               Manuel V. Hermenegildo},
  title     = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
               2008, Ise, Japan, April 14-16, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4989},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78969-7},
  doi       = {10.1007/978-3-540-78969-7},
  isbn      = {978-3-540-78968-0},
  timestamp = {Mon, 12 Jun 2017 16:41:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2008,
  editor    = {George C. Necula and
               Philip Wadler},
  title     = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2008, San Francisco, California,
               USA, January 7-12, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://dl.acm.org/citation.cfm?id=1328438},
  isbn      = {978-1-59593-689-9},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2008,
  editor    = {Peter Achten and
               Pieter W. M. Koopman and
               Marco T. Moraz{\'{a}}n},
  title     = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
               {TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
  series    = {Trends in Functional Programming},
  volume    = {9},
  publisher = {Intellect},
  year      = {2008},
  isbn      = {978-1-84150-277-9},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2007,
  editor    = {Till Mossakowski and
               Ugo Montanari and
               Magne Haveraaen},
  title     = {Algebra and Coalgebra in Computer Science, Second International Conference,
               {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4624},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73859-6},
  doi       = {10.1007/978-3-540-73859-6},
  isbn      = {978-3-540-73857-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cats/2007,
  editor    = {Joachim Gudmundsson and
               C. Barry Jay},
  title     = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
               The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
               2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series    = {{CRPIT}},
  volume    = {65},
  publisher = {Australian Computer Society},
  year      = {2007},
  isbn      = {1-920-68246-5},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cats/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/2007,
  editor    = {Simona Ronchi Della Rocca},
  title     = {Typed Lambda Calculi and Applications, 8th International Conference,
               {TLCA} 2007, Paris, France, June 26-28, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4583},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73228-0},
  doi       = {10.1007/978-3-540-73228-0},
  isbn      = {978-3-540-73227-3},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2005,
  editor    = {Olivier Danvy and
               Benjamin C. Pierce},
  title     = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
               2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-064-7},
  timestamp = {Thu, 06 Oct 2005 13:23:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2005,
  editor    = {J{\"{u}}rgen Giesl},
  title     = {Term Rewriting and Applications, 16th International Conference, {RTA}
               2005, Nara, Japan, April 19-21, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3467},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b135673},
  doi       = {10.1007/b135673},
  isbn      = {3-540-25596-6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2004,
  editor    = {Wei{-}Ngan Chin},
  title     = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
               2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3302},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b102225},
  doi       = {10.1007/b102225},
  isbn      = {3-540-23724-0},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2004,
  editor    = {Josep D{\'{\i}}az and
               Juhani Karhum{\"{a}}ki and
               Arto Lepist{\"{o}} and
               Donald Sannella},
  title     = {Automata, Languages and Programming: 31st International Colloquium,
               {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3142},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b99859},
  doi       = {10.1007/b99859},
  isbn      = {3-540-22849-7},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2004,
  editor    = {Dexter Kozen and
               Carron Shankland},
  title     = {Mathematics of Program Construction, 7th International Conference,
               {MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3125},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98756},
  doi       = {10.1007/b98756},
  isbn      = {3-540-22380-0},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2004,
  editor    = {Hans{-}Wolfgang Loidl},
  title     = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
               Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
               2004},
  series    = {Trends in Functional Programming},
  volume    = {5},
  publisher = {Intellect},
  year      = {2006},
  isbn      = {1-84150-144-1},
  timestamp = {Thu, 25 Oct 2007 12:04:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2003,
  editor    = {Andrew D. Gordon},
  title     = {Foundations of Software Science and Computational Structures, 6th
               International Conference, {FOSSACS} 2003 Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2620},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36576-1},
  doi       = {10.1007/3-540-36576-1},
  isbn      = {3-540-00897-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2003merlin,
  title     = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
               Workshop on Mechanized reasoning about languages with variable binding,
               {MERLIN} 2003, Uppsala, Sweden, August 2003},
  publisher = {{ACM}},
  year      = {2003},
  timestamp = {Wed, 21 Apr 2004 14:02:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2003merlin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2003,
  editor    = {Robert Nieuwenhuis},
  title     = {Rewriting Techniques and Applications, 14th International Conference,
               {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2706},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44881-0},
  doi       = {10.1007/3-540-44881-0},
  isbn      = {3-540-40254-3},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/2003,
  editor    = {Martin Hofmann},
  title     = {Typed Lambda Calculi and Applications, 6th International Conference,
               {TLCA} 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2701},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44904-3},
  doi       = {10.1007/3-540-44904-3},
  isbn      = {3-540-40332-9},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fics/2002,
  editor    = {Zolt{\'{a}}n {\'{E}}sik and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
               20-21 July 2002, Preliminary Proceedings},
  series    = {{BRICS} Notes Series},
  volume    = {{NS-02-2}},
  publisher = {University of Aarhus},
  year      = {2002},
  timestamp = {Tue, 11 Jan 2005 11:03:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fics/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2002,
  editor    = {Alessandro Armando},
  title     = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
               2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2309},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45988-X},
  doi       = {10.1007/3-540-45988-X},
  isbn      = {3-540-43381-3},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2002,
  editor    = {Mitchell Wand and
               Simon L. {Peyton Jones}},
  title     = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
               USA, October 4-6, 2002},
  publisher = {{ACM}},
  year      = {2002},
  isbn      = {1-58113-487-8},
  timestamp = {Tue, 11 Jun 2013 13:49:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/1999,
  editor    = {Wolfgang Thomas},
  title     = {Foundations of Software Science and Computation Structure, Second
               International Conference, FoSSaCS'99, Held as Part of the European
               Joint Conferences on the Theory and Practice of Software, ETAPS'99,
               Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1578},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-49019-1},
  doi       = {10.1007/3-540-49019-1},
  isbn      = {3-540-65719-3},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1998,
  editor    = {Kim Guldstrand Larsen and
               Sven Skyum and
               Glynn Winskel},
  title     = {Automata, Languages and Programming, 25th International Colloquium,
               ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1443},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0055035},
  doi       = {10.1007/BFb0055035},
  isbn      = {3-540-64781-3},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1997,
  editor    = {Eugenio Moggi and
               Giuseppe Rosolini},
  title     = {Category Theory and Computer Science, 7th International Conference,
               {CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1290},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0026977},
  doi       = {10.1007/BFb0026977},
  isbn      = {3-540-63455-X},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ctcs/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1997,
  editor    = {Pierpaolo Degano and
               Roberto Gorrieri and
               Alberto Marchetti{-}Spaccamela},
  title     = {Automata, Languages and Programming, 24th International Colloquium,
               ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63165-8},
  doi       = {10.1007/3-540-63165-8},
  isbn      = {3-540-63165-8},
  timestamp = {Mon, 22 May 2017 17:11:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/1997,
  editor    = {Philippe de Groote},
  title     = {Typed Lambda Calculi and Applications, Third International Conference
               on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
               April 2-4, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1210},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-62688-3},
  doi       = {10.1007/3-540-62688-3},
  isbn      = {3-540-62688-3},
  timestamp = {Mon, 22 May 2017 17:11:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1996,
  editor    = {Dirk van Dalen and
               Marc Bezem},
  title     = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
               Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
               1996, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1258},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63172-0},
  doi       = {10.1007/3-540-63172-0},
  isbn      = {3-540-63172-0},
  timestamp = {Mon, 22 May 2017 17:11:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/1995,
  editor    = {Mariangiola Dezani{-}Ciancaglini and
               Gordon D. Plotkin},
  title     = {Typed Lambda Calculi and Applications, Second International Conference
               on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
               April 10-12, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {902},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0014040},
  doi       = {10.1007/BFb0014040},
  isbn      = {3-540-59048-X},
  timestamp = {Thu, 15 Jun 2017 21:40:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier