Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types

Hyeonseung Im, Keiko Nakata, Sungwoo Park. Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg, editors, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Volume 7966 of Lecture Notes in Computer Science, pages 299-311, Springer, 2013. [doi]

@inproceedings{ImNP13,
  title = {Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types},
  author = {Hyeonseung Im and Keiko Nakata and Sungwoo Park},
  year = {2013},
  doi = {10.1007/978-3-642-39212-2_28},
  url = {http://dx.doi.org/10.1007/978-3-642-39212-2_28},
  researchr = {https://researchr.org/publication/ImNP13},
  cites = {0},
  citedby = {0},
  pages = {299-311},
  booktitle = {Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II},
  editor = {Fedor V. Fomin and Rusins Freivalds and Marta Z. Kwiatkowska and David Peleg},
  volume = {7966},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39211-5},
}