Combining algebraic effect descriptions using the tensor of complete lattices
autor
vastutusandmed
Niels Voorneveld
ajakirja aastakäik number kuu
vol. 352
ilmumisaasta
leheküljed
p. 257-281
võtmesõna
Eilenberg-Moore algebra
tree monad
complete lattice
tensor product
quantitative logic
applicative bisimilarity
global store
ISSN
1571-0661
märkused
Bibliogr.: 32 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
WOS
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
Voorneveld, N. Combining algebraic effect descriptions using the tensor of complete lattices // Electronic notes in theoretical computer science (2020) vol. 352, p. 257-281. https://doi.org/10.1016/j.entcs.2020.09.013