Wolfgang Jeltsch

Institute of Cybernetics

Tuesday, 10 June 2014, 14:00
Tuesday, 17 June 2014, 14:00
Thursday, 19 June 2014, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B 101

June 10 and June 17

Abstract process categories (APCs) are axiomatically defined categorical models for functional reactive programming (FRP) with processes. In this talk, I present a generalized form of APCs that can serve as a semantics for an FRP dialect with support for resources. Perhaps surprisingly, this generalized form of APCs seems to capture also an FRP dialect that lacks support for processes.

June 19

In this talk, I introduce an extended form of functional programming that can deal with resources. I show how this style of programming is related to linear logic and the logic of bunched implications, and present both an abstract and a concrete categorical semantics for it.