Jirí Velebil

Matej Dostál

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

A categorical view of varieties of ordered algebras.

[BibT_eX]

[DOI]

Matej Dostál

Math. Struct. Comput. Sci., April, 2022

2019

Extending set functors to generalised metric spaces.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

2017

Quasivarieties and varieties of ordered algebras: regularity and exactness.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2017

An institutional approach to positive coalgebraic logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

2016

Relation lifting, a survey.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Morita Equivalence for Many-Sorted Enriched Theories.

[BibT_eX]

[DOI]

Matej Dostál

Appl. Categorical Struct., 2016

2015

Kan injectivity in order-enriched categories.

[BibT_eX]

[DOI]

Lurdes Sousa

Math. Struct. Comput. Sci., 2015

Positive fragments of coalgebraic logics.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

Extensions of Functors From Set to V-cat.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Base modules for parametrized iterativity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

2013

How iterative reflections of monads are constructed.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Relation lifting, with an application to the many-valued cover modality.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

Enriched Logical Connections.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2013

2012

Expressiveness of Positive Coalgebraic Logic.

[BibT_eX]

[DOI]

Krzysztof Kapulkin

Proceedings of the Advances in Modal Logic 9, 2012

Distributive Substructural Logics as Coalgebraic Logics over Posets.

[BibT_eX]

[DOI]

Marta Bílková

Rostislav Horcík

Proceedings of the Advances in Modal Logic 9, 2012

2011

On second-order iterative monads.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Equational presentations of functors and monads.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2011

Final coalgebras in accessible categories.

[BibT_eX]

[DOI]

Panagis Karazeris

Apostolos Matzaris

Math. Struct. Comput. Sci., 2011

On monotone modalities and adjointness.

[BibT_eX]

[DOI]

Marta Bílková

Yde Venema

Math. Struct. Comput. Sci., 2011

Elgot theories: a new perspective on the equational properties of iteration.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2011

Semantics of Higher-Order Recursion Schemes

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

Relation Liftings on Preorders and Posets.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Iterative reflections of monads.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2010

Equational properties of iterative monads.

[BibT_eX]

[DOI]

Inf. Comput., 2010

Recursive Program Schemes and Context-Free Monads.

[BibT_eX]

[DOI]

Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

Algebraic Theories over Nominal Sets

[BibT_eX]

[DOI]

Daniela Petrisan

CoRR, 2010

2009

Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

A Description of Iterative Reflections of Monads (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2009

2008

Bases for parametrized iterativity.

[BibT_eX]

[DOI]

Inf. Comput., 2008

2007

Algebras with parametrized iterativity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

What Are Iteration Theories?

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2007, 2007

2006

Iterative algebras at work.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

Elgot Algebras.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2006

How Iterative are Iterative Algebras?

[BibT_eX]

[DOI]

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

2005

A general final coalgebra theorem.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2005

Elgot Algebras: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

2004

On coalgebra based on classes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Iterative Algebras for a Base.

[BibT_eX]

[DOI]

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

From Iterative Algebras to Iterative Theories (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2003

Infinite trees and completely iterative theories: a coalgebraic view.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Free Iterative Theories: A Coalgebraic View.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2003

Some Remarks on Finitary and Iterative Monads.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2003

2002

On Rational Monads and Free Iterative Theories.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 2002

Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Parametric corecursion and completely iterative monads.

[BibT_eX]

Proceedings of the Fixed Points in Computer Science, 2002

2001

A Coalgebraic View of Infinite Trees and Iteration.

[BibT_eX]

[DOI]

Peter Aczel

Proceedings of the Coalgebraic Methods in Computer Science, 2001

1999

On categories generalizing universal domains.

[BibT_eX]

[DOI]

Vera Trnková

Math. Struct. Comput. Sci., 1999

Categorical Generalization of a Universal Domain.

[BibT_eX]

[DOI]