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.

# Tag Archives: FRP

# 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

# Introduction

So I have finally set up my blog on various things that I am interested in and that are roughly related to my work. In the near future, you should be able to read here about topics ranging from foundations of mathematics to text editors. Continue reading