dr. Bas Westerbaan

github scholar

Sequential product on effect logics

15 Aug 2013 [ pdf ]

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