CMCS 2016 Accepted Papers
Category theoretic semantics for theorem proving in logic programming: embracing the laxness
A complete logic for behavioural equivalence in coalgebras of finitary set functors
Affine Monads and Side-Effect-Freeness
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
Coalgebraic completeness-via-canonicity: principles and applications.
Transitivity and Difunctionality of Bisimulations
Product Rules and Distributive Laws
Relational lattices via duality
Duality of Equations and Coequations via Contravariant Adjunctions
On the logic of generalised metric spaces