Combining algebraic effect descriptions using the tensor of complete lattices

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
1.1
kategooria (üld)
kvartiil
Q3
TTÜ struktuuriüksus
keel
inglise
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