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]

Abstract

Abstract is missing.