Algebraic and coalgebraic perspectives on interaction laws
autor
Uustalu, Tarmo
Voorneveld, Niels
vastutusandmed
Tarmo Uustalu, Niels Voorneveld
allikas
Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer
ilmumisaasta
2020
leheküljed
p. 186-205
seeria-sari
Lecture notes in computer science ; 12470
leitav
https://doi.org/10.1007/978-3-030-64437-6_10
märksõna
algebra
monaadid
interaktsioonid
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85097654344&origin=inward&txGid=15f03951ce93b9fdadc37869d09e5de1
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000916297300010
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
monad algebras
comonad coalgebras
interaction laws
runners
monad morphisms
effects
coeffects
ISSN
0302-9743
ISBN
978-3-030-64436-9
märkused
Bibliogr.: 23 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium