full record print

Combining algebraic effect descriptions using the tensor of complete lattices

author
statement of authorship
Niels Voorneveld
source
journal volume number month
vol. 352
year of publication
pages
p. 257-281
url
ISSN
1571-0661
notes
Bibliogr.: 32 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
algebraic effects
Eilenberg-Moore algebra
tree monad
complete lattice
tensor product
program equivalence
quantitative logic
applicative bisimilarity
probability
nondeterminism
global store
Reserch Group
High-assurance software laboratory
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