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. I first discussed categorical models of intuitionistic S4 based on earlier work by Kobayashi as well as Bierman and de Paiva. I then showed how these models can be extended to become categorical models of an intuitionistic temporal logic with linear time. Since there is a Curry–Howard correspondence between temporal logic and FRP, such models can also serve as models of FRP. The slides of the talk are now online.

One comment on “Talk about categorical models of temporal logic and FRP

  1. [...] 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. Like this:LikeBe [...]

When replying to another comment, please press that comment’s “Reply” button first.

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s