New Article: "A Categorical Account for the Specification of Replicated Data Type"

The article "A Categorical Account for the Specification of Replicated Data Type" by Fabio Gadducci, Hernán Melgratti, Matteo Sammartino and Christian Roldán was accepted for publication at 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.(FSTTCS), Bombay, India, 2019.