Opin vísindi

Browsing by Author "Uustalu, Tarmo"

Browsing by Author "Uustalu, Tarmo"

Sort by: Order: Results:

  • Icon
    Additive cellular automata graded-monadically 
    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 ...
  • Icon
    Algebraic and coalgebraic perspectives on interaction laws 
    Uustalu, Tarmo; Voorneveld, Niels (Springer, 2020)
    Monad algebras, turning computations over return values into values, are used to handle algebraic effects invoked by programs, whereas comonad coalgebras, turning initial states into environments (“cocomputations”) over states, describe production of ...
  • Icon
    Plotkin's call-by-value λ-calculus as a modal calculus 
    Espírito Santo, José; Pinto, Luís; Uustalu, Tarmo (Elsevier BV, 2022-06)
    In the authors' previous analysis of the calling paradigms call-by-name and call-by-value through Girard's and Gödel's embeddings into the S4 modal logic, an asymmetry remains: the two paradigms are unified by the call-by-box paradigm of the modal ...