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
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85076039926&origin=resultslist&sort=plf-f&src=s&sid=9b24b7b6b96b099e1e9afdd88e8e3155&sot=b&sdt=b&s=DOI%2810.4230%2FLIPIcs.CALCO.2019.14%29&sl=32&sessionSearchId=9b24b7b6b96b099e1e9afdd88e8e3155&relpos=0
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
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
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory