default search action
13th CMCS 2016: Eindhoven, The Netherlands (Part of ETAPS 2016)
- Ichiro Hasuo:
Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9608, Springer 2016, ISBN 978-3-319-40369-4 - Jirí Adámek:
Fixed Points of Functors - A Short Abstract. 1-4 - Andreas Abel:
Compositional Coinduction with Sized Types. 5-10 - Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Lawvere Categories as Composed PROPs. 11-32 - Mehdi Zarrad, H. Peter Gumm:
Transitivity and Difunctionality of Bisimulations. 33-52 - Bart Jacobs:
Affine Monads and Side-Effect-Freeness. 53-72 - Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot:
Duality of Equations and Coequations via Contravariant Adjunctions. 73-93 - Ekaterina Komendantskaya, John Power:
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness. 94-113 - Joost Winter:
Product Rules and Distributive Laws. 114-135 - Octavian Babus, Alexander Kurz:
On the Logic of Generalised Metric Spaces. 136-155 - David Sprunger:
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors. 156-173 - Fredrik Dahlqvist:
Coalgebraic Completeness-via-Canonicity - Principles and Applications. 174-194 - Luigi Santocanale:
Relational Lattices via Duality. 195-215 - Ievgen Ivanov:
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems. 216-234
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.