Bas Westerbaan

home

Sequential product on effect logics

15 Aug 2013 [ pdf ]

An investigation of the sequential product on predicates in the framework of Jacobs.