Abstract categorical semantics for resourceful functional reactive programming

DOI10.1016/J.JLAMP.2016.07.001zbMath1353.68043OpenAlexW2460254609MaRDI QIDQ338619

Wolfgang Jeltsch

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

zbMATH Keywords

linear logictemporal logiccategorical semanticsfunctional reactive programminglogic of bunched implications

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Categorical semantics of formal languages (18C50) Temporal logic (03B44)

Related Items (1)

When programs have to watch paint dry

Uses Software

• Fran

Cites Work

• Unnamed Item
• Monad as modality
• On an intuitionistic modal logic
• Higher-order functional reactive programming in bounded space
• Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming
• The Logic of Bunched Implications
• A semantic model for graphical user interfaces
• Functional reactive animation

This page was built for publication: Abstract categorical semantics for resourceful functional reactive programming