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
ISSN
2352-2208
märkused
Bibliogr.: 11 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
võtmesõna
functional reactive programming
temporal logic
linear logic
logic of bunched implications
klassifikaator
kvartiil
kategooria (üld)
TTÜ struktuuriüksus
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.