Decomposing comonad morphisms
author
Ahman, Danel
Uustalu, Tarmo
statement of authorship
Ahman, D., Uustalu, T.
source
8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 2019
location of publication
Saarbrücken/Wadern
publisher
Dagstuhl Publishing
year of publication
2019
pages
art. 14 ; 20 p
series
Leibniz international proceedings in informatics (LIPIcs) ; 139
conference name, date
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, University College London, United Kingdom, 3-6 June, 2019
conference location
London, United Kingdom
url
https://doi.org/10.4230/LIPIcs.CALCO.2019.14
subject term
funktorid
polünoomid
Scopus
Conference proceeding at Scopus
Article at Scopus
kvartiil
Q2
category (general)
Computer science
en
Arvutiteadus
et
category (sub)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
keyword
cofunctors
comonad morphisms and comonad coalgebras
container comonads
container functors (polynomial functors)
lenses
ISSN
18688969
ISBN
978-395977120-7
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory