Combining algebraic effect descriptions using the tensor of complete lattices
autor
Voorneveld, Niels
vastutusandmed
Niels Voorneveld
allikas
Electronic notes in theoretical computer science
ajakirja aastakäik number kuu
vol. 352
ilmumisaasta
2020
leheküljed
p. 257-281
leitav
https://doi.org/10.1016/j.entcs.2020.09.013
märksõna
algebra
tensorarvutus
kvantitatiivne analüüs
loogika
programmeerimiskeeled
tõenäosus
võtmesõna
algebraic effects
Eilenberg-Moore algebra
tree monad
complete lattice
tensor product
program equivalence
quantitative logic
applicative bisimilarity
probability
nondeterminism
global store
ISSN
1571-0661
märkused
Bibliogr.: 32 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
kvartiil
Q3
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium