Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill https://doi.org/10.1016/j.entcs.2014.10.003 Journal metrics at Scopus Article at Scopus

Decomposing comonad morphismsAhman, Danel; Uustalu, Tarmo8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 20192019 / art. 14 ; 20 p https://doi.org/10.4230/LIPIcs.CALCO.2019.14 Conference proceeding at Scopus Article at Scopus

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 Conference proceedings Article at Scopus Article at WOS