A Categorical Account of Replicated Data Types. / Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo.

39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. ed. / Arkadev Chattopadhyay; Paul Gastin. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. p. 1-15 42 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 150).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publication39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019
EditorsArkadev Chattopadhyay, Paul Gastin
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages1-15
Number of pages15
ISBN (Electronic)9783959771313
DOIs
Publication statusPublished - Dec 2019
Event39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019 - Bombay, India
Duration: 11 Dec 201913 Dec 2019

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume150
ISSN (Print)1868-8969

Conference

Conference39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019
CountryIndia
CityBombay
Period11/12/1913/12/19
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 36024125