"A Categorical Account of Replicated Data Types."

Fabio Gadducci et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics