| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paige Randall North, Maximilien Péroux |
Coinductive Control of Inductive Data Types.  |
CALCO  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Matej Dostál, Jirí Velebil |
Strongly Finitary Monads for Varieties of Quantitative Algebras. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémy Dubut |
Aczel-Mendler Bisimulations in a Regular Category. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot |
Forward and Backward Steps in a Fibration. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni |
Local Completeness for Program Correctness and Incorrectness (Invited Talk). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Harrison Grodin, Robert Harper 0001 |
Amortized Analysis via Coinduction (Early Ideas). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan Rot, Thorsten Wißmann |
Bisimilar States in Uncertain Structures. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov 0001, Stefan Milius, Lutz Schröder, Stelios Tsampas 0001, Henning Urbat |
Higher-Order Mathematical Operational Semantics (Early Ideas). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Assia Mahboubi |
Machine-Checked Computational Mathematics (Invited Talk). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elaine Pimentel, Luiz Carlos Pereira |
A Tour on Ecumenical Systems (Invited Talk). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia |
Completeness for Categories of Generalized Automata ((Co)algebraic pearls). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi |
String Diagram Rewriting Modulo Commutative (Co)Monoid Structure. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Lawrence S. Moss |
On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Tarlecki |
Interpolation Is (Not Always) Easy to Spoil. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Valeria de Paiva (eds.) |
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA |
CALCO |
2023 |
DBLP BibTeX RDF |
|
| 1 | Henning Basold, Tanjona Ralaivaosaona |
Composition and Recursion for Causal Structures. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper 0001 |
Integrating Cost and Behavior in Type Theory (Invited Talk). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Zetzsche, Alexandra Silva 0001, Matteo Sammartino |
Generators and Bases for Monadic Closures. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd Schmid, Victoria Noquez, Lawrence S. Moss |
Fractals from Regular Behaviours. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Stein, Richard Samuelson |
A Category for Unifying Gaussian Probability and Nondeterminism. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kurz 0001, Wolfgang Poiger |
Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald König, Uwe Wolter, Tim Kräuter |
Structural Operational Semantics for Heterogeneously Typed Coalgebras. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy G. Siek |
The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta |
Weakly Markov Categories and Weakly Affine Monads. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan Liittschwager, Stelios Tsampas 0001, Jonathan Castello, Lindsey Kuper |
CRDTs, Coalgebraically (Early Ideas). |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Alessandro Di Giorgio 0002, Fabio Zanasi |
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis |
The Challenges of Weak Persistency (Invited Talk). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgi Nakov, Fredrik Nordvall Forsberg |
Quantitative Polynomial Functors (Early Ideas). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Cesare Carissimo, Bas Luttik |
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Simon Pacaud Lemay |
Coderelictions for Free Exponential Modalities. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Wißmann |
Minimality Notions via Factorization Systems ((Co)algebraic pearls). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenia Cheng |
Distributive Laws for Lawvere Theories (Invited Talk). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Dahlqvist, Todd Schmid |
How to Write a Coequation ((Co)algebraic pearls). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chase Ford, Stefan Milius, Lutz Schröder |
Monads on Categories of Relational Structures. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sokolova, Harald Woracek |
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Castelnovo, Marino Miculan |
Closure Hyperdoctrines. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Jirí Rosický |
Which Categories Are Varieties? ((Co)algebraic pearls). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Jia 0002, Michael W. Mislove, Vladimir Zamdzhiev |
The Central Valuations Monad (Early Ideas). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Lawrence S. Moss |
Initial Algebras Without Iteration ((Co)algebraic pearls). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
Tensor of Quantitative Equational Theories. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeria de Paiva |
Dialectica Comonads (Invited Talk). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Alexandra Silva 0001 (eds.) |
9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria. |
CALCO |
2021 |
DBLP BibTeX RDF |
|
| 1 | Clemens Grabmayer |
A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese |
Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Garner |
Stream Processors and Comodels. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jade Master |
The Open Algebraic Path Problem. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski 0001 |
On Doctrines and Cartesian Bicategories. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Gu, Fabio Zanasi |
Functorial Semantics as a Unifying Perspective on Logic Programming. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Koko Muroya, Takahiro Sanada, Natsuki Urabe |
Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Campbell 0001, Brian Courtehoute, Detlef Plump |
Linear-Time Graph Algorithms in GP 2. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Pous |
Coinduction: Automata, Formal Proof, Companions (Invited Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bezhanishvili, Jim de Groot, Yde Venema |
Coalgebraic Geometric Logic. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Milius |
From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Jens Seeber, Pawel Sobocinski 0001 |
The Axiom of Choice in Cartesian Bicategories. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Roggenbach, Ana Sokolova (eds.) |
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom. |
CALCO |
2019 |
DBLP BibTeX RDF |
|
| 1 | Jirí Adámek |
On Terminal Coalgebras Derived from Initial Algebras. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva 0001 |
Tree Automata as Algebras: Minimisation and Determinisation. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Balco, Alexander Kurz 0001 |
Nominal String Diagrams. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Codescu |
Hybridisation of Institutions in HETS (Tool Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Gu, Fabio Zanasi |
A Coalgebraic Perspective on Probabilistic Logic Programming. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Astrid Belder, Bas Luttik, Jos C. M. Baeten |
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaohong Chen 0002, Grigore Rosu |
Matching mu-Logic: Foundation of K Framework (Invited Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Danel Ahman, Tarmo Uustalu |
Decomposing Comonad Morphisms. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ciancia, Yde Venema |
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Basold |
Coinduction in Flow: The Later Modality in Fibrations. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Gogioso |
A Diagrammatic Approach to Quantum Dynamics. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc de Visme, Glynn Winskel |
Causal Unfoldings. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Sobocinski 0001, Paul W. Wilson 0002, Fabio Zanasi |
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Blain Levy, Sergey Goncharov 0001 |
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrnoosh Sadrzadeh |
Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, List of Authors. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo |
Parity Automata for Quantitative Linear Time Logics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Colcombet, Daniela Petrisan |
Automata Minimization: a Functorial Approach. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Seifan, Lutz Schröder, Dirk Pattinson |
Uniform Interpolation in Coalgebraic Modal Logic. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Marsden, Fabrizio Genovese |
Custom Hypergraph Categories via Generalized Relations. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Brendan Fong, Fabio Zanasi |
A Universal Construction for (Co)Relations. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David Reutter, Jamie Vicary |
A Classical Groupoid Model for Quantum Networks. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Harsh Beohar, Sebastian Küpper |
On Path-Based Coalgebras and Weak Notions of Bisimulation. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Simpson |
Probability Sheaves and the Giry Monad. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Milius |
Proper Functors and their Rational Fixed Point. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Clovis Eberhart, Tom Hirschowitz |
Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Barbara König 0001 (eds.) |
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia |
CALCO |
2017 |
DBLP BibTeX RDF |
|
| 1 | Kenta Cho 0002, Bart Jacobs 0001 |
The EfProb Library for Probabilistic Calculations. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Jakl, Achim Jung |
Free Constructions and Coproducts of d-Frames. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | William John Gowers, James Laird |
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeinab Bakhtiari, Helle Hvid Hansen |
Bisimulation for Weakly Expressive Coalgebraic Modal Logics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini |
Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Urbat |
Finite Behaviours and Finitary Corecursion. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sokolova, Harald Woracek |
Termination in Convex Sets of Distributions. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Dahlqvist, Alexander Kurz 0001 |
The Positivication of Coalgebraic Logics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Enqvist, Yde Venema |
Disjunctive Bases: Normal Forms for Modal Logics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius |
On Corecursive Algebras for Functors Preserving Coproducts. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David Reutter, Jamie Vicary |
A 2-Categorical Approach to Composing Quantum Structures. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sprunger, Lawrence S. Moss |
Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald König, Uwe Wolter |
Being Van Kampen in Presheaf Topoi is a Uniqueness Property. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Knapp, Till Mossakowski |
UML Interactions Meet State Machines - An Institutional Approach. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license