Institute of Cybernetics at TUT
Thursday, 20 June 2013, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: In my previous seminar talk I showed how interaction between linear and non-linear logic can be modeled using adjunctions. In this talk, I show that interaction between temporal and non-temporal logic can be modeled in an analogous way. I furthermore describe how combining linear and temporal adjunctions leads to a logic that is both linear and temporal. This logic corresponds to a variant of functional reactive programming with support for mutable state.