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
ilmumisaasta
leheküljed
p. 186-205
seeria-sari
Lecture notes in computer science ; 12470
ISSN
0302-9743
ISBN
978-3-030-64436-9
märkused
Bibliogr.: 23 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
monad algebras
comonad coalgebras
monad morphisms
Uustalu, T., Voorneveld, N. Algebraic and coalgebraic perspectives on interaction laws // Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings. Cham : Springer, 2020. p. 186-205. (Lecture notes in computer science ; 12470). https://doi.org/10.1007/978-3-030-64437-6_10