TalTech publikatsioonid
pealdis Uustalu, T., Voorneveld, N.
TTÜ struktuuriüksus tarkvarateaduse instituut
maakood ch
keel inglise
autor Uustalu, Tarmo
Voorneveld, Niels
pealkiri Algebraic and coalgebraic perspectives on interaction laws
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 International Publishing AG
ilmumisaasta 2020
leheküljed p. 186-205
seeria-sari Lecture notes in computer science ; 12470
märksõna algebra
monaadid
interaktsioon
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
url https://doi.org/10.1007/978-3-030-64437-6_10