prindi

Combining algebraic effect descriptions using the tensor of complete lattices

autor
vastutusandmed
Niels Voorneveld
allikas
ajakirja aastakäik number kuu
vol. 352
ilmumisaasta
leheküljed
p. 257-281
leitav
ISSN
1571-0661
märkused
Bibliogr.: 32 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
algebraic effects
Eilenberg-Moore algebra
tree monad
complete lattice
tensor product
program equivalence
quantitative logic
applicative bisimilarity
probability
nondeterminism
global store
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
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