Abstract categorical semantics for resourceful functional reactive programming

vastutusandmed
Wolfgang Jeltsch
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
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. http://dx.doi.org/10.1016/j.jlamp.2016.07.001