| Publication | Date of Publication | Type |
|---|
Holomorphic models of exponential types in linear logic
Lecture Notes in Computer Science | 2023-04-28 | Paper |
| Constructing linear bicategories | 2022-09-12 | Paper |
Finiteness spaces and generalized power series
(available as arXiv preprint) | 2022-05-03 | Paper |
Finiteness spaces, étale groupoids and their convolution algebras
Semigroup Forum | 2020-09-23 | Paper |
Differential categories revisited
Applied Categorical Structures | 2020-03-24 | Paper |
| Affine geometric spaces in tangent categories | 2019-04-30 | Paper |
Affine geometric spaces in tangent categories
(available as arXiv preprint) | 2019-04-30 | Paper |
Finiteness spaces and generalized power series
(available as arXiv preprint) | 2018-05-24 | Paper |
| The shuffle quasimonad and modules with differentiation and integration | 2018-04-23 | Paper |
Derivations in codifferential categories
(available as arXiv preprint) | 2017-04-04 | Paper |
Von Neumann categories
Applied Categorical Structures | 2015-10-29 | Paper |
| Cartesian differential storage categories | 2015-07-08 | Paper |
Cartesian differential storage categories
(available as arXiv preprint) | 2015-07-08 | Paper |
A logical basis for quantum evolution and entanglement
Lecture Notes in Computer Science | 2014-05-08 | Paper |
Conformal field theory as a nuclear functor
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| A convenient differential category | 2013-01-28 | Paper |
Deep inference and probabilistic coherence spaces
Applied Categorical Structures | 2012-09-20 | Paper |
Kähler categories
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2012-09-07 | Paper |
Dagger categories and formal distributions
New Structures for Physics | 2011-05-31 | Paper |
Proof nets as formal Feynman diagrams
New Structures for Physics | 2011-05-31 | Paper |
| Cartesian differential categories | 2010-04-20 | Paper |
Differential categories
Mathematical Structures in Computer Science | 2007-02-07 | Paper |
| scientific article; zbMATH DE number 2134910 (Why is no real title available?) | 2005-02-18 | Paper |
Softness of hypercoherences and MALL full completeness
Annals of Pure and Applied Logic | 2005-01-31 | Paper |
Discrete quantum causal dynamics
International Journal of Theoretical Physics | 2004-02-03 | Paper |
The logic of linear functors
Mathematical Structures in Computer Science | 2003-10-05 | Paper |
| scientific article; zbMATH DE number 1863399 (Why is no real title available?) | 2003-08-24 | Paper |
| scientific article; zbMATH DE number 1863399 (Why is no real title available?) | 2003-08-24 | Paper |
Feedback for linearly distributive categories: Traces and fixpoints
Journal of Pure and Applied Algebra | 2001-07-09 | Paper |
Nuclear and trace ideals in tensored \(^*\)-categories
Journal of Pure and Applied Algebra | 2000-02-15 | Paper |
The shuffle Hopf algebra and noncommutative full completeness
Journal of Symbolic Logic | 1999-11-29 | Paper |
| scientific article; zbMATH DE number 1231512 (Why is no real title available?) | 1998-12-13 | Paper |
Categories for computation in context and unified logic
Journal of Pure and Applied Algebra | 1998-01-12 | Paper |
! and ? – Storage as tensorial strength
Mathematical Structures in Computer Science | 1997-04-13 | Paper |
Hopf algebras and linear logic
Mathematical Structures in Computer Science | 1997-04-09 | Paper |
Natural deduction and coherence for weakly distributive categories
Journal of Pure and Applied Algebra | 1997-03-19 | Paper |
Linear Läuchli semantics
Annals of Pure and Applied Logic | 1997-02-11 | Paper |
| scientific article; zbMATH DE number 517045 (Why is no real title available?) | 1994-09-04 | Paper |
Linear logic, coherence and dinaturality
Theoretical Computer Science | 1993-10-25 | Paper |
