Combining algebraic effect descriptions using the tensor of complete lattices
author
Voorneveld, Niels
statement of authorship
Niels Voorneveld
source
Electronic notes in theoretical computer science
journal volume number month
vol. 352
year of publication
2020
pages
p. 257-281
url
https://doi.org/10.1016/j.entcs.2020.09.013
subject term
algebra
tensorarvutus
kvantitatiivne analüüs
loogika
programmeerimiskeeled
tõenäosus
keyword
algebraic effects
Eilenberg-Moore algebra
tree monad
complete lattice
tensor product
program equivalence
quantitative logic
applicative bisimilarity
probability
nondeterminism
global store
ISSN
1571-0661
notes
Bibliogr.: 32 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/20569
https://www.scopus.com/record/display.uri?eid=2-s2.0-85114396355&origin=inward&txGid=6bbcedf06f7ea01f97b557e59f46f476
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000582228200013
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q3
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory