Decomposing comonad morphisms
autor
Ahman, Danel
Uustalu, Tarmo
vastutusandmed
Ahman, D., Uustalu, T.
allikas
8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 2019
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2019
leheküljed
art. 14 ; 20 p
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 139
konverentsi nimetus, aeg
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, University College London, United Kingdom, 3-6 June, 2019
konverentsi toimumispaik
London, United Kingdom
leitav
https://doi.org/10.4230/LIPIcs.CALCO.2019.14
märksõna
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
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
cofunctors
comonad morphisms and comonad coalgebras
container comonads
container functors (polynomial functors)
lenses
ISSN
18688969
ISBN
978-395977120-7
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium