## Marcelo P. Fiore, Makoto Hamana

*Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic*

LICS, 2013.

@inproceedings{LICS-2013-FioreH, acmid = "2591395", author = "Marcelo P. Fiore and Makoto Hamana", booktitle = "{Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2013.59", isbn = "978-1-4799-0413-6", pages = "520--529", publisher = "{IEEE Computer Society}", title = "{Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic}", year = 2013, }