About this scholarly article

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic by Fiore, Marcelo; Hamana, Makoto is a scholarly article available to read on EtoBox.

Author

Fiore, Marcelo; Hamana, Makoto

Publisher

IEEE

Published

2013