dc.contributor |
Reykjavik University |
dc.contributor |
Háskólinn í Reykjavík |
dc.contributor.author |
Capobianco, Silvio |
dc.contributor.author |
Uustalu, Tarmo |
dc.date.accessioned |
2024-02-29T09:43:05Z |
dc.date.available |
2024-02-29T09:43:05Z |
dc.date.issued |
2023-10-22 |
dc.identifier.citation |
S. Capobianco, T. Uustalu. Additive cellular automata graded-monadically. In 25th International Symposium on Principles and Practice of Declarative Programming (PPDP ’23), October 22-23, 2023, Lisbon, Portugal, art. 13, 9 pp. ACM, New York, 2023. doi:10.1145/3610612.3610625 |
dc.identifier.isbn |
979-8-4007-0812-1 |
dc.identifier.uri |
https://hdl.handle.net/20.500.11815/4744 |
dc.description.abstract |
Cellular automata are an archetypical comonadic notion of computation in that computation happens in the coKleisli category of a comonad. In this paper, we show that they can also be viewed as graded comonadic—a perspective that turns out to be both more informative and also more basic. We also discuss additive cellular automata to show that they admit both a graded comonadic and a graded monadic view. That these two perspectives are simultaneously available in this special case arises from a graded version of an observation by Kleiner about adjoint comonad-monad pairs. |
dc.description.sponsorship |
This work was supported by the Estonian Research Council team grant no. PRG1210 and by the Icelandic Research Fund project 228684-051. |
dc.format.extent |
article 13 |
dc.language.iso |
en |
dc.publisher |
ACM |
dc.relation.ispartofseries |
ACM International Proceeding Series; |
dc.rights |
info:eu-repo/semantics/closedAccess |
dc.subject |
models of computation |
dc.subject |
cellular automata |
dc.subject |
additive cellular automata |
dc.subject |
comonads |
dc.subject |
adjoint comonad-monad pairs |
dc.subject |
graded comonads |
dc.subject |
graded monads |
dc.title |
Additive cellular automata graded-monadically |
dc.type |
info:eu-repo/semantics/bookPart |
dc.description.version |
Peer Reviewed |
dc.identifier.journal |
25th International Symposium on Principles and Practice of Declarative Programming (PPDP '23) |
dc.identifier.doi |
10.1145/3610612.3610625 |
dc.contributor.department |
Department of Computer Science (RU) |
dc.contributor.department |
Tölvunarfræðideild (HR) |
dc.contributor.school |
School of Technology (RU) |
dc.contributor.school |
Tæknisvið (HR) |