BibTeX records: Michael Gordon Abbott

download as .bib file

@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. Informaticae},
  volume    = {65},
  number    = {1-2},
  pages     = {1--28},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-02},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/AbbottAMG05.bib},
  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 = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/AbbottAG05.bib},
  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},
  editor    = {J{\"{u}}rgen Giesl},
  title     = {Abstract Modularity},
  booktitle = {Term Rewriting and Applications, 16th International Conference, {RTA}
               2005, Nara, Japan, April 19-21, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3467},
  pages     = {46--60},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/978-3-540-32033-3\_5},
  doi       = {10.1007/978-3-540-32033-3\_5},
  timestamp = {Wed, 25 Sep 2019 18:23:35 +0200},
  biburl    = {https://dblp.org/rec/conf/rta/AbbottGL05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AbbottAG04,
  author    = {Michael Gordon Abbott and
               Thorsten Altenkirch and
               Neil Ghani},
  editor    = {Josep D{\'{\i}}az and
               Juhani Karhum{\"{a}}ki and
               Arto Lepist{\"{o}} and
               Donald Sannella},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {3142},
  pages     = {59--71},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-27836-8\_8},
  doi       = {10.1007/978-3-540-27836-8\_8},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/AbbottAG04.bib},
  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},
  editor    = {Dexter Kozen and
               Carron Shankland},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {3125},
  pages     = {2--15},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-27764-4\_2},
  doi       = {10.1007/978-3-540-27764-4\_2},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/mpc/AbbottAGM04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Abbott03,
  author    = {Michael Gordon Abbott},
  title     = {Categories of containers},
  school    = {University of Leicester, England, {UK}},
  year      = {2003},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401007},
  timestamp = {Fri, 16 Sep 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/ethos/Abbott03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AbbottAG03,
  author    = {Michael Gordon Abbott and
               Thorsten Altenkirch and
               Neil Ghani},
  editor    = {Andrew D. Gordon},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {2620},
  pages     = {23--38},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36576-1\_2},
  doi       = {10.1007/3-540-36576-1\_2},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/fossacs/AbbottAG03.bib},
  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},
  editor    = {Martin Hofmann},
  title     = {Derivatives of Containers},
  booktitle = {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},
  pages     = {16--30},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44904-3\_2},
  doi       = {10.1007/3-540-44904-3\_2},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/tlca/AbbottAGM03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics