Institute of Cybernetics at TUT
Thursday, 19 June 2014, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: 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.