| Publication | Date of Publication | Type |
|---|
Strongly finitary monads for varieties of quantitative algebras
| 2024-11-26 | Paper |
Sifted Colimits, Strongly Finitary Monads and Continuous Algebras
| 2023-01-13 | Paper |
Varieties of Quantitative or Continuous Algebras (Extended Abstract)
| 2023-01-03 | Paper |
A categorical view of varieties of ordered algebras
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
Quantitative Algebras and a Classification of Metric Monads
| 2022-10-04 | Paper |
Extending set functors to generalised metric spaces
| 2019-02-25 | Paper |
An institutional approach to positive coalgebraic logic
Journal Of Logic And Computation | 2018-02-13 | Paper |
Quasivarieties and varieties of ordered algebras: regularity and exactness
Mathematical Structures in Computer Science | 2017-09-27 | Paper |
Extensions of functors from Set to \({\mathcal V}\)-cat
| 2017-07-11 | Paper |
scientific article; zbMATH DE number 6740664 (Why is no real title available?)
| 2017-07-07 | Paper |
Morita equivalence for many-sorted enriched theories
Applied Categorical Structures | 2016-12-15 | Paper |
Kan injectivity in order-enriched categories
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Relation lifting, a survey
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
Elgot theories: a new perspective of iteration theories (extended abstract)
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Positive fragments of coalgebraic logics
Logical Methods in Computer Science | 2015-10-29 | Paper |
Expressiveness of positive coalgebraic logic
| 2014-06-11 | Paper |
scientific article; zbMATH DE number 6302899 (Why is no real title available?)
| 2014-06-11 | Paper |
An elementary characterisation of sifted weights
| 2014-05-13 | Paper |
Base modules for parametrized iterativity
Theoretical Computer Science | 2014-02-04 | Paper |
How iterative are iterative algebras?
| 2013-12-04 | Paper |
How iterative reflections of monads are constructed
Information and Computation | 2013-11-29 | Paper |
Relation lifting, with an application to the many-valued cover modality
Logical Methods in Computer Science | 2013-10-29 | Paper |
Elgot algebras (extended abstract)
| 2013-10-08 | Paper |
Iterative algebras for a base
| 2013-09-20 | Paper |
Positive fragments of coalgebraic logics
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
On rational monads and free iterative theories
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Final coalgebras and a solution theorem for arbitrary endofunctors
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Enriched logical connections
Applied Categorical Structures | 2013-08-01 | Paper |
A coalgebraic view of infinite trees and iteration
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Recursive program schemes and context-free monads
Electronic Notes in Theoretical Computer Science | 2012-10-02 | Paper |
Semantics of higher-order recursion schemes
Lecture Notes in Computer Science | 2012-06-01 | Paper |
Final coalgebras in accessible categories
Mathematical Structures in Computer Science | 2011-10-21 | Paper |
On second-order iterative monads
Theoretical Computer Science | 2011-09-22 | Paper |
Relation liftings on preorders and posets
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Equational presentations of functors and monads
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
Elgot theories: a new perspective on the equational properties of iteration
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
On monotone modalities and adjointness
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
Semantics of higher-order recursion schemes
Logical Methods in Computer Science | 2011-05-26 | Paper |
Equational properties of iterative monads
Information and Computation | 2011-01-14 | Paper |
Iterative reflections of monads
Mathematical Structures in Computer Science | 2010-06-02 | Paper |
Representability relative to a doctrine
| 2009-06-30 | Paper |
A Description of Iterative Reflections of Monads (Extended Abstract)
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Analytic functors and weak pullbacks
| 2009-03-09 | Paper |
Bases for parametrized iterativity
Information and Computation | 2009-03-04 | Paper |
What Are Iteration Theories?
Mathematical Foundations of Computer Science 2007 | 2008-09-17 | Paper |
Iterative algebras: how iterative are they?
| 2008-03-31 | Paper |
Algebras with parametrized iterativity
Theoretical Computer Science | 2007-12-18 | Paper |
scientific article; zbMATH DE number 5207777 (Why is no real title available?)
| 2007-11-01 | Paper |
Elgot Algebras
Logical Methods in Computer Science | 2007-10-11 | Paper |
Iterative algebras at work
Mathematical Structures in Computer Science | 2007-02-07 | Paper |
A general final coalgebra theorem
Mathematical Structures in Computer Science | 2005-08-03 | Paper |
Completeness of cocompletions
Journal of Pure and Applied Algebra | 2005-04-07 | Paper |
On coalgebra based on classes
Theoretical Computer Science | 2004-08-04 | Paper |
scientific article; zbMATH DE number 2061622 (Why is no real title available?)
| 2004-03-21 | Paper |
Some remarks on finitary and iterative monads
Applied Categorical Structures | 2004-01-06 | Paper |
Free iterative theories: a coalgebraic view
Mathematical Structures in Computer Science | 2003-10-13 | Paper |
Infinite trees and completely iterative theories: A coalgebraic view
Theoretical Computer Science | 2003-07-30 | Paper |
A remark on conservative cocompletions of categories
Journal of Pure and Applied Algebra | 2002-07-24 | Paper |
scientific article; zbMATH DE number 1863398 (Why is no real title available?)
| 2002-01-01 | Paper |
Categorical generalization of a universal domain
Applied Categorical Structures | 2000-05-30 | Paper |
On categories generalizing universal domains
Mathematical Structures in Computer Science | 2000-03-08 | Paper |
scientific article; zbMATH DE number 956838 (Why is no real title available?)
| 1997-07-20 | Paper |
