Hannay03'

BibTeX

@inproceedings{DBLP:conf/icalp/Hannay03,
  author    = {Jo Erskine Hannay},
  title     = {Axiomatic Criteria for Quotients and Subobjects for Higher-Order
               Data Types},
  booktitle = {ICALP},
  year      = {2003},
  pages     = {903-917},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2719/27190903.htm},
  crossref  = {DBLP:conf/icalp/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icalp/2003,
  editor    = {Jos C. M. Baeten and
               Jan Karel Lenstra and
               Joachim Parrow and
               Gerhard J. Woeginger},
  title     = {Automata, Languages and Programming, 30th International
               Colloquium, ICALP 2003, Eindhoven, The Netherlands, June
               30 - July 4, 2003. Proceedings},
  booktitle = {ICALP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2719},
  year      = {2003},
  isbn      = {3-540-40493-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}