full record print

Abstract categorical semantics for resourceful functional reactive programming

author
statement of authorship
Wolfgang Jeltsch
source
publisher
journal volume number month
vol. 85, 6
year of publication
pages
p. 1177-1200 : ill
url
ISSN
2352-2208
notes
Bibliogr.: 11 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
functional reactive programming
temporal logic
linear logic
logic of bunched implications
categorical semantics
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