default search action
6th CALCO 2015: Nijmegen, The Netherlands
- Lawrence S. Moss, Pawel Sobocinski:
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands. LIPIcs 35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-84-2 - Front Matter, Table of Contents, Preface, List of Authors. i-xii
- Jirí Adámek, Stefan Milius, Henning Urbat:
Syntactic Monoids in a Category. 1-16 - Adriana Balan
, Alexander Kurz
Extensions of Functors From Set to V-cat. 17-34 - Paolo Baldan, Filippo Bonchi
Towards Trace Metrics via Functor Lifting. 35-49 - Liang-Ting Chen
A Fibrational Approach to Automata Theory. 50-65 - Corina Cîrstea:
Canonical Coalgebraic Linear Time Logics. 66-85 - Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
An Intensionally Fully-abstract Sheaf Model for pi. 86-100 - Ulrich Fahrenberg, Axel Legay:
Partial Higher-dimensional Automata. 101-115 - Bart Jacobs:
A Recipe for State-and-Effect Triangles. 116-129 - Toshiki Kataoka, Dusko Pavlovic
Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra. 130-155 - Shin-ya Katsumata
Codensity Liftings of Monads. 156-170 - Aleks Kissinger
A First-order Logic for String Diagrams. 171-189 - Bartek Klin
Presenting Morphisms of Distributive Laws. 190-204 - Alexander Kurz
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. 205-220 - Paul Blain Levy:
Final Coalgebras from Corecursive Algebras. 221-237 - Johannes Marti, Fatemeh Seifan
Uniform Interpolation for Coalgebraic Fixpoint Logic. 238-252 - Stefan Milius, Dirk Pattinson, Lutz Schröder
Generic Trace Semantics and Graded Monads. 253-269 - Robin Piedeleu, Dimitri Kartsaklis
Open System Categorical Quantum Semantics in Natural Language Processing. 270-289 - Maciej Piróg
Modules Over Monads and Their Algebras. 290-303 - Ionut Tutu, José Luiz Fiadeiro:
Revisiting the Institutional Approach to Herbrand's Theorem. 304-319 - Natsuki Urabe, Ichiro Hasuo
Coalgebraic Infinite Traces and Kleisli Simulations. 320-335 - Stefan Milius, Thorsten Wißmann
Finitary Corecursion for the Infinitary Lambda Calculus. 336-351
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.
last updated on 2024-11-28 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: