Opin vísindi

Fletta eftir efnisorði "models of computation"

Fletta eftir efnisorði "models of computation"

Röðun: Raða: Niðurstöður:

  • Capobianco, Silvio; Uustalu, Tarmo (ACM, 2023-10-22)
    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 ...