Abstract categorical semantics for resourceful functional reactive programming
From MaRDI portal
Publication:338619
DOI10.1016/j.jlamp.2016.07.001zbMath1353.68043MaRDI QIDQ338619
Publication date: 7 November 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.07.001
linear logic; temporal logic; categorical semantics; functional reactive programming; logic of bunched implications
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
18C50: Categorical semantics of formal languages
03B44: Temporal logic
Uses Software