Abstract categorical semantics for resourceful functional reactive programming
autor
vastutusandmed
Wolfgang Jeltsch
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 85, 6
ilmumisaasta
leheküljed
p. 1177-1200 : ill
võtmesõna
functional reactive programming
temporal logic
linear logic
logic of bunched implications
ISSN
2352-2208
märkused
Bibliogr.: 11 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
Jeltsch, W. Abstract categorical semantics for resourceful functional reactive programming // Journal of logical and algebraic methods in programming (2016) vol. 85, 6, p. 1177-1200 : ill.