My MFPS ’12 paper *Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming* has just been officially published by Elsevier. Continue reading

# Tag Archives: S4

# Slides of my MFPS talk now online

MFPS took place a month ago, and today I finally managed to publish the slides of my talk ;-). The topic of these slides is similar to the topic of the seminar talk I gave at 10 May, but the overlap is not too large. So you might be interested in having a look.

# Talk about categorical models of temporal logic and FRP

I recently gave a talk about the main points of my MFPS ’12 paper. The title of the talk was *Categorical Models for Two Intuitionistic Modal Logics*. Continue reading

# New paper about categorical models of temporal logic and FRP

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