A Categorical Account of Replicated Data Types

Fabio Gadducci, Hernán Melgratti, Christian Roldán, Matteo Sammartino

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

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
Country/TerritoryIndia
CityBombay
Period11/12/1913/12/19

Keywords

  • Functorial characterisation
  • Replicated data type
  • Specification

Cite this