Algebraic and coalgebraic perspectives on interaction laws
author
Uustalu, Tarmo
Voorneveld, Niels
statement of authorship
Tarmo Uustalu, Niels Voorneveld
source
Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings
location of publication
Cham
publisher
Springer
year of publication
2020
pages
p. 186-205
series
Lecture notes in computer science ; 12470
url
https://doi.org/10.1007/978-3-030-64437-6_10
subject term
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
quartile
Q3
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
keyword
monad algebras
comonad coalgebras
interaction laws
runners
monad morphisms
effects
coeffects
ISSN
0302-9743
ISBN
978-3-030-64436-9
notes
Bibliogr.: 23 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory