| Publication | Date of Publication | Type |
|---|
| Elementary control structures | 2023-06-28 | Paper |
| An algebraic formulation for data refinement | 2023-04-12 | Paper |
| An abstract formulation for rewrite systems | 2022-08-16 | Paper |
| Higher dimensional categories: induction on extensivity | 2022-05-03 | Paper |
| Logic programming: laxness and saturation | 2018-11-01 | Paper |
| An enriched view on the extended finitary monad--Lawvere theory correspondence | 2018-04-25 | Paper |
| Enriched and internal categories: an extensive relationship | 2018-01-12 | Paper |
| Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness | 2016-07-15 | Paper |
| Modelling Local Variables: Possible Worlds and Object Spaces | 2016-07-08 | Paper |
| Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? | 2016-07-08 | Paper |
| A Graphical Foundation for Schedules | 2016-07-08 | Paper |
| Coalgebraic logic programming: from Semantics to Implementation | 2016-07-07 | Paper |
| Pseudo-distributive laws | 2016-05-03 | Paper |
| Abstract Syntax: Substitution and Binders | 2015-07-10 | Paper |
| Category Theoretic Models of Data Refinement | 2015-03-23 | Paper |
| Axiomatics for Data Refinement in Call by Value Programming Languages | 2015-03-23 | Paper |
| A graphical foundation for interleaving in game semantics | 2014-12-05 | Paper |
| Category theoretic structure of setoids | 2014-07-25 | Paper |
| Tensors of Comodels and Models for Operational Semantics | 2014-05-13 | Paper |
| The category theoretic understanding of universal algebra: Lawvere theories and monads | 2013-12-06 | Paper |
| A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus | 2013-12-04 | Paper |
| Countable Lawvere theories and computational effects | 2013-12-04 | Paper |
| Computational effects and operations: an overview | 2013-10-10 | Paper |
| Semantics for local computational effects | 2013-10-10 | Paper |
| Hiproofs: a hierarchical notion of proof tree | 2013-10-08 | Paper |
| From comodels to coalgebras: state and arrays | 2013-09-11 | Paper |
| Modularity of behaviours for mathematical operational semantics | 2013-09-11 | Paper |
| Symmetric monoidal sketches and categories of wirings | 2013-09-09 | Paper |
| Towards a theory of mathematical operational semantics | 2013-08-23 | Paper |
| Zooming-out on higraph-based diagrams: syntactic and semantic issues | 2013-07-24 | Paper |
| Models for the computational λ-calculus | 2013-06-06 | Paper |
| An Algebraic Foundation for Graph-based Diagrams in Computing | 2013-04-26 | Paper |
| Algebras, Coalgebras, Monads and Comonads | 2013-04-26 | Paper |
| Semantics for Algebraic Operations | 2013-04-26 | Paper |
| Pseudo-commutative Monads | 2013-04-26 | Paper |
| Two-dimensional linear algebra | 2013-04-26 | Paper |
| Coalgebraic derivations in logic programming | 2012-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3093868 | 2011-10-19 | Paper |
| Coalgebraic Semantics for Derivations in Logic Programming | 2011-09-02 | Paper |
| Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) | 2011-03-30 | Paper |
| Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming | 2011-01-21 | Paper |
| Gabriel–Ulmer duality and Lawvere theories enriched over a general base | 2009-10-28 | Paper |
| Lawvere theories enriched over a general base | 2009-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3532206 | 2008-11-03 | Paper |
| Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness | 2008-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431524 | 2007-12-11 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Combining algebraic effects with continuations | 2007-05-11 | Paper |
| Generic models for computational effects | 2007-01-09 | Paper |
| Discrete Lawvere theories and computational effects | 2007-01-09 | Paper |
| Pseudo-distributive laws and axiomatics for variable binding | 2006-11-17 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics | 2006-09-22 | Paper |
| Combining effects: sum and tensor | 2006-08-16 | Paper |
| Coalgebraic semantics for timed processes | 2006-06-30 | Paper |
| Typed Lambda Calculi and Applications | 2005-11-11 | Paper |
| Category theory for operational semantics | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738236 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457466 | 2004-03-22 | Paper |
| Modelling environments in call-by-value programming languages. | 2004-03-14 | Paper |
| Dualising initial algebras | 2003-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417872 | 2003-07-30 | Paper |
| Algebraic operations and generic effects | 2003-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783305 | 2002-12-04 | Paper |
| Pseudo-commutative monads and pseudo-closed 2-categories | 2002-12-02 | Paper |
| On weak higher-dimensional categories. I: Part 3 | 2002-09-06 | Paper |
| Combining a monad and a comonad | 2002-07-15 | Paper |
| Premonoidal categories as categories with algebraic structure | 2002-07-15 | Paper |
| Fixpoint operators for domain equations | 2002-07-15 | Paper |
| On weak higher-dimensional categories. I. 2 | 2002-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771052 | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754136 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753695 | 2001-11-11 | Paper |
| A representation result for free cocompletions | 2001-11-05 | Paper |
| On weak higher dimensional categories. I: Part 1 | 2001-10-28 | Paper |
| On the structure of categories of coalgebras | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722025 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499306 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499221 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945251 | 2000-09-26 | Paper |
| Syntactic control of interference revisited | 2000-08-23 | Paper |
| Bireflectivity | 2000-08-23 | Paper |
| Data refinement and algebraic structure | 2000-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938649 | 2000-02-23 | Paper |
| Sketches | 2000-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251927 | 2000-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936143 | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936142 | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4704209 | 1999-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4261097 | 1999-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256313 | 1999-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218944 | 1999-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4219032 | 1999-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222954 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222895 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222899 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222775 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222758 | 1998-12-10 | Paper |
| Premonoidal categories and notions of computation | 1998-10-01 | Paper |
| A representable approach to finite nondeterminism | 1998-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364388 | 1998-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364395 | 1998-03-02 | Paper |
| Lax naturality through enrichment | 1997-02-17 | Paper |
| Why tricategories? | 1995-12-10 | Paper |
| Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads | 1993-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978986 | 1992-06-26 | Paper |
| A characterization of pie limits | 1992-06-25 | Paper |
| A 2-categorical pasting theorem | 1990-01-01 | Paper |
| A general coherence result | 1989-01-01 | Paper |
| Two-dimensional monad theory | 1989-01-01 | Paper |
| Flexible limits for 2-categories | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832738 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3792855 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816229 | 1988-01-01 | Paper |
