Combining algebraic effect descriptions using the tensor of complete lattices

heading
Voorneveld, N.
statement of authorship
Niels Voorneveld
journal volume number month
vol. 352
year of publication
pages
p. 257-281
keyword
Eilenberg-Moore algebra
tree monad
complete lattice
quantitative logic
applicative bisimilarity
global store
ISSN
1571-0661
notes
Bibliogr.: 32 ref
availibility
ei leidu TTÜ Raamatukogus
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
category (general)
kvartiil
Q3
TTÜ department
TTÜ department code
it
country
nl
language
inglise
report field
aasta2020i
editor's notes
PMi 290921
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