Abstract categorical semantics for resourceful functional reactive programming

statement of authorship
Wolfgang Jeltsch
publisher
journal volume number month
vol. 85, 6
year of publication
pages
p. 1177-1200 : ill
keyword
functional reactive programming
temporal logic
linear logic
logic of bunched implications
ISSN
2352-2208
notes
Bibliogr.: 11 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
category (general)
kvartiil
Q1
language
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. https://doi.org/10.1016/j.jlamp.2016.07.001