| Publication | Date of Publication | Type |
|---|
Compact inverse categories
| 2024-10-01 | Paper |
Classical distributive restriction categories
Theory and Applications of Categories | 2024-08-27 | Paper |
Factorization systems for restriction categories
Theory and Applications of Categories | 2024-08-27 | Paper |
Moore-Penrose Dagger Categories
Electronic Proceedings in Theoretical Computer Science | 2024-03-22 | Paper |
Extending Resource Monotones using Kan Extensions
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
Exponential modalities and complementarity (extended abstract)
| 2024-02-13 | Paper |
Classical Distributive Restriction Categories
| 2023-05-25 | Paper |
Normalizing Resistor Networks
| 2023-03-19 | Paper |
scientific article; zbMATH DE number 7650830 (Why is no real title available?)
| 2023-02-07 | Paper |
scientific article; zbMATH DE number 7650831 (Why is no real title available?)
| 2023-02-07 | Paper |
scientific article; zbMATH DE number 7599492 (Why is no real title available?)
| 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 |
scientific article; zbMATH DE number 7471668 (Why is no real title available?)
| 2022-02-09 | Paper |
The category \textsf{TOF}
| 2021-12-20 | Paper |
The category \textsf{CNOT}
| 2021-12-17 | Paper |
Generalising the étale groupoid-complete pseudogroup correspondence
Advances in Mathematics | 2021-10-27 | Paper |
Differential equations in a tangent category. I: Complete vector fields, flows, and exponentials
Applied Categorical Structures | 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 |
scientific article; zbMATH DE number 7204432 (Why is no real title available?)
| 2020-05-26 | Paper |
Categorical models of the differential λ-calculus
Mathematical Structures in Computer Science | 2020-05-04 | Paper |
Differential categories revisited
Applied Categorical Structures | 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
Mathematical Structures in Computer Science | 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 |
Categorical models of the differential \(\lambda\)-calculus revisited
| 2018-04-23 | Paper |
The shuffle quasimonad and modules with differentiation and integration
| 2018-04-23 | Paper |
Connections in tangent categories
| 2017-10-04 | Paper |
A categorical setting for lower complexity
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Timed Sets, Functional Complexity, and Computability
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Unitary theories, unitary categories
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Total maps of Turing categories
| 2016-05-13 | Paper |
The Jacobi identity for tangent categories
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2016-02-23 | Paper |
Cartesian differential storage categories
| 2015-07-08 | Paper |
Differential structure, tangent structure, and SDG
Applied Categorical Structures | 2014-06-24 | Paper |
Restriction categories as enriched categories
Theoretical Computer Science | 2014-02-04 | Paper |
Safe recursion revisited. I: Categorical semantics for lower complexity
Theoretical Computer Science | 2013-12-10 | Paper |
A language for multiplicative-additive linear logic
| 2013-09-20 | Paper |
Induction, coinduction, and adjoints
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Deforestation, program transformation, and cut-elimination
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Range categories. I: General theory
Theory and Applications of Categories | 2012-10-22 | Paper |
Range categories II: Towards regularity
Theory and Applications of Categories | 2012-10-22 | Paper |
Kähler categories
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2012-09-07 | Paper |
The Faà di Bruno construction
Theory and Applications of Categories | 2012-05-29 | Paper |
Differential restriction categories
Theory and Applications of Categories | 2012-05-29 | Paper |
Categorical simulations
Journal of Pure and Applied Algebra | 2010-04-22 | Paper |
Cartesian differential categories
| 2010-04-20 | Paper |
On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
Computer Science Logic | 2009-11-12 | Paper |
The logic of message-passing
Science of Computer Programming | 2009-07-24 | Paper |
Boolean and classical restriction categories
Mathematical Structures in Computer Science | 2009-05-06 | Paper |
Introduction to Turing categories
Annals of Pure and Applied Logic | 2009-01-28 | Paper |
Restriction categories III: colimits, partial limits and extensivity
Mathematical Structures in Computer Science | 2007-09-06 | Paper |
Differential categories
Mathematical Structures in Computer Science | 2007-02-07 | Paper |
Polarized category theory, modules, and game semantics
| 2007-01-23 | Paper |
Stochastic Decision Theory
Probability in the Engineering and Informational Sciences | 2007-01-19 | Paper |
scientific article; zbMATH DE number 5080676 (Why is no real title available?)
| 2006-12-19 | Paper |
Stable meet semilattice fibrations and free restriction categories
| 2006-11-30 | Paper |
On the complexity of Cockett-Seely polarized games
| 2004-02-26 | Paper |
scientific article; zbMATH DE number 2028927 (Why is no real title available?)
| 2004-01-19 | Paper |
The logic of linear functors
Mathematical Structures in Computer Science | 2003-10-05 | Paper |
Restriction categories II: Partial map classification
Theoretical Computer Science | 2003-07-29 | Paper |
scientific article; zbMATH DE number 1924508 (Why is no real title available?)
| 2003-06-05 | Paper |
Introduction to linear bicategories
Mathematical Structures in Computer Science | 2002-09-04 | Paper |
Restriction categories. I: Categories of partial maps
Theoretical Computer Science | 2002-03-03 | Paper |
The extensive completion of a distributive category
Theory and Applications of Categories | 2002-01-08 | Paper |
Feedback for linearly distributive categories: Traces and fixpoints
Journal of Pure and Applied Algebra | 2001-07-09 | Paper |
Finite sum-product logic
Theory and Applications of Categories | 2001-03-29 | Paper |
Linearly distributive functors
Journal of Pure and Applied Algebra | 2000-10-10 | Paper |
scientific article; zbMATH DE number 1231451 (Why is no real title available?)
| 1998-12-10 | Paper |
Constructing process categories
Theoretical Computer Science | 1998-07-23 | Paper |
Categories for computation in context and unified logic
Journal of Pure and Applied Algebra | 1998-01-12 | Paper |
scientific article; zbMATH DE number 1024333 (Why is no real title available?)
| 1997-06-18 | Paper |
Weakly distributive categories
Journal of Pure and Applied Algebra | 1997-04-24 | Paper |
! and ? – Storage as tensorial strength
Mathematical Structures in Computer Science | 1997-04-13 | Paper |
Natural deduction and coherence for weakly distributive categories
Journal of Pure and Applied Algebra | 1997-03-19 | Paper |
Strong categorical datatypes II: A term logic for categorical programming
Theoretical Computer Science | 1997-02-28 | Paper |
Introduction to distributive categories
Mathematical Structures in Computer Science | 1994-08-18 | Paper |
scientific article; zbMATH DE number 431760 (Why is no real title available?)
| 1994-06-26 | Paper |
scientific article; zbMATH DE number 426302 (Why is no real title available?)
| 1993-11-04 | Paper |
scientific article; zbMATH DE number 139614 (Why is no real title available?)
| 1993-03-28 | Paper |
Categories with finite limits and stable binary coproducts can be subdirectly decomposed
Journal of Pure and Applied Algebra | 1992-09-27 | Paper |
List-arithmetic distributive categories: Locoi
Journal of Pure and Applied Algebra | 1990-01-01 | Paper |
Decision tree reduction
Journal of the ACM | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4106837 (Why is no real title available?)
| 1989-01-01 | Paper |
Discrete decision theory: manipulations
Theoretical Computer Science | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4047370 (Why is no real title available?)
| 1987-01-01 | Paper |
Drazin Inverses in Categories
| N/A | Paper |
