Abstract categorical semantics for resourceful functional reactive programming
author
statement of authorship
Wolfgang Jeltsch
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
TTÜ department
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.