Temporal logic and functional reactive programming are related via a Curry–Howard correspondence, as has recently be shown by Alan Jeffrey and by myself. Given this intriguing connection, it seems to be worthwhile to look for a common categorical semantics of temporal logic and FRP. This undertaking is a current research topic of mine. I will present some results on this at this year’s MFPS conference under the title *Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming*. A preprint of the corresponding paper is now available online. Continue reading

# New paper about categorical models of temporal logic and FRP

4 Replies