| Publication | Date of Publication | Type |
|---|
| Moore-Penrose Dagger Categories | 2024-03-22 | Paper |
| Extending Resource Monotones using Kan Extensions | 2024-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6153339 | 2024-02-13 | Paper |
| Classical Distributive Restriction Categories | 2023-05-25 | Paper |
| Normalizing Resistor Networks | 2023-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874203 | 2023-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874204 | 2023-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5040173 | 2022-10-11 | Paper |
| Finiteness spaces and generalized power series | 2022-05-03 | Paper |
| Cartesian integral categories and contextual integral categories | 2022-05-03 | Paper |
| Linearizing Combinators | 2022-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028428 | 2022-02-09 | Paper |
| The Category TOF | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384946 | 2021-12-17 | Paper |
| Generalising the étale groupoid-complete pseudogroup correspondence | 2021-10-27 | Paper |
| Differential equations in a tangent category. I: Complete vector fields, flows, and exponentials | 2021-09-29 | Paper |
| Latent Fibrations: Fibrations for Categories of Partial Maps | 2021-08-03 | Paper |
| Integral Categories and Calculus Categories | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111309 | 2020-05-26 | Paper |
| Categorical models of the differential λ-calculus | 2020-05-04 | Paper |
| Differential categories revisited | 2020-03-24 | Paper |
| Reverse derivative categories | 2019-10-15 | Paper |
| Tangent Categories from the Coalgebras of Differential Categories | 2019-10-12 | Paper |
| Compact inverse categories | 2019-06-10 | Paper |
| Complete Positivity for Mixed Unitary Categories | 2019-05-21 | Paper |
| Differential bundles and fibrations for tangent categories | 2019-01-23 | Paper |
| Integral categories and calculus categories | 2019-01-17 | Paper |
| Dagger linear logic for categorical quantum mechanics | 2018-09-01 | Paper |
| Finiteness spaces and generalized power series | 2018-05-24 | Paper |
| The shuffle quasimonad and modules with differentiation and integration | 2018-04-23 | Paper |
| Categorical models of the differential \(\lambda\)-calculus revisited | 2018-04-23 | Paper |
| Connections in Tangent Categories | 2017-10-04 | Paper |
| Unitary Theories, Unitary Categories | 2016-07-08 | Paper |
| A Categorical Setting for Lower Complexity | 2016-07-08 | Paper |
| Timed Sets, Functional Complexity, and Computability | 2016-07-08 | Paper |
| Total maps of Turing categories | 2016-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2786896 | 2016-02-23 | Paper |
| Cartesian Differential Storage Categories | 2015-07-08 | Paper |
| Differential structure, tangent structure, and SDG | 2014-06-24 | Paper |
| Restriction categories as enriched categories | 2014-02-04 | Paper |
| Safe recursion revisited. I: Categorical semantics for lower complexity | 2013-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849877 | 2013-09-20 | Paper |
| Induction, Coinduction, and Adjoints | 2013-08-16 | Paper |
| Deforestation, program transformation, and cut-elimination | 2013-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2919772 | 2012-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2919773 | 2012-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2910140 | 2012-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2884463 | 2012-05-29 | Paper |
| Differential restriction categories | 2012-05-29 | Paper |
| Categorical simulations | 2010-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3552029 | 2010-04-20 | Paper |
| On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication | 2009-11-12 | Paper |
| The logic of message-passing | 2009-07-24 | Paper |
| Boolean and classical restriction categories | 2009-05-06 | Paper |
| Introduction to Turing categories | 2009-01-28 | Paper |
| Restriction categories III: colimits, partial limits and extensivity | 2007-09-06 | Paper |
| Differential categories | 2007-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416824 | 2007-01-23 | Paper |
| Stochastic Decision Theory | 2007-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413926 | 2006-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3411949 | 2006-11-30 | Paper |
| On the complexity of Cockett-Seely polarized games | 2004-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4444126 | 2004-01-19 | Paper |
| The logic of linear functors | 2003-10-05 | Paper |
| Restriction categories II: Partial map classification | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707046 | 2003-06-05 | Paper |
| Introduction to linear bicategories | 2002-09-04 | Paper |
| Restriction categories. I: Categories of partial maps | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2761574 | 2002-01-08 | Paper |
| Feedback for linearly distributive categories: Traces and fixpoints | 2001-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2707132 | 2001-03-29 | Paper |
| Linearly distributive functors | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222751 | 1998-12-10 | Paper |
| Constructing process categories | 1998-07-23 | Paper |
| Categories for computation in context and unified logic | 1998-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342439 | 1997-06-18 | Paper |
| Weakly distributive categories | 1997-04-24 | Paper |
| ! and ? – Storage as tensorial strength | 1997-04-13 | Paper |
| Natural deduction and coherence for weakly distributive categories | 1997-03-19 | Paper |
| Strong categorical datatypes II: A term logic for categorical programming | 1997-02-28 | Paper |
| Introduction to distributive categories | 1994-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138536 | 1994-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3137150 | 1993-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029593 | 1993-03-28 | Paper |
| Categories with finite limits and stable binary coproducts can be subdirectly decomposed | 1992-09-27 | Paper |
| List-arithmetic distributive categories: Locoi | 1990-01-01 | Paper |
| Decision tree reduction | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3831000 | 1989-01-01 | Paper |
| Discrete decision theory: manipulations | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783792 | 1987-01-01 | Paper |
