default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th 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, Jirí Velebil:
Extensions of Functors From Set to V-cat. 17-34 - Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. 35-49 - Liang-Ting Chen, Henning Urbat:
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, Tetsuya Sato:
Codensity Liftings of Monads. 156-170 - Aleks Kissinger, David Quick:
A First-order Logic for String Diagrams. 171-189 - Bartek Klin, Beata Nachyla:
Presenting Morphisms of Distributive Laws. 190-204 - Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries:
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, Yde Venema:
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, Bob Coecke, Mehrnoosh Sadrzadeh:
Open System Categorical Quantum Semantics in Natural Language Processing. 270-289 - Maciej Piróg, Nicolas Wu, Jeremy Gibbons:
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-09-21 01:32 CEST 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:
