Abstract categorical semantics for resourceful functional reactive programming
author
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
category (general)
category (sub)
kvartiil
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.