| Publication | Date of Publication | Type |
|---|
A graphical language for quantum protocols based on the category of cobordisms
Quantum Studies: Mathematics and Foundations | 2024-11-21 | Paper |
Chromatic numbers for facet colouring of some generalised associahedra
Discrete Applied Mathematics | 2024-09-26 | Paper |
A diagrammatic presentation of the category 3Cob
Results in Mathematics | 2024-06-25 | Paper |
| Chromatic numbers for facet colouring of some generalized associahedra | 2023-11-10 | Paper |
| scientific article; zbMATH DE number 7715469 (Why is no real title available?) | 2023-07-21 | Paper |
| From Heegaard diagrams to surgery | 2023-05-30 | Paper |
| A diagrammatic presentation of the category 3Cob | 2023-02-13 | Paper |
| A diagrammatic calculus for categorical quantum protocols | 2022-06-07 | Paper |
| A calculus for S^3-diagrams of manifolds with boundary | 2021-11-22 | Paper |
Coherence for closed categories with biproducts
Journal of Pure and Applied Algebra | 2020-09-24 | Paper |
Proofs and surfaces
Annals of Pure and Applied Logic | 2020-08-27 | Paper |
A faithful 2-dimensional TQFT
Homology, Homotopy and Applications | 2020-01-14 | Paper |
A simple permutoassociahedron
Discrete Mathematics | 2019-10-17 | Paper |
The \(n\)-fold reduced bar construction
Journal of Homotopy and Related Structures | 2018-10-12 | Paper |
| Spheres as Frobenius objects | 2018-08-07 | Paper |
Spheres as Frobenius objects
(available as arXiv preprint) | 2018-08-07 | Paper |
A note on semisymmetry
(available as arXiv preprint) | 2018-03-29 | Paper |
Segal's multisimplicial spaces
Publications de l'Institut Math?matique (Belgrade) | 2017-07-19 | Paper |
Segal's multisimplicial spaces
Publications de l'Institut Math?matique (Belgrade) | 2017-07-19 | Paper |
Representing conjunctive deductions by disjunctive deductions
The Review of Symbolic Logic | 2017-05-31 | Paper |
A planarity criterion for graphs
SIAM Journal on Discrete Mathematics | 2015-11-18 | Paper |
| Monoids, Segal's condition and bisimplicial spaces | 2015-05-19 | Paper |
| Graphs for Juncture | 2015-05-05 | Paper |
Weak Cat-operads
Logical Methods in Computer Science | 2015-04-22 | Paper |
Symmetric self-adjunctions and matrices
Algebra Colloquium | 2014-08-20 | Paper |
Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
Applied Categorical Structures | 2014-06-16 | Paper |
Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
Applied Categorical Structures | 2014-06-16 | Paper |
| Proof-net categories | 2014-04-23 | Paper |
On stretching the interval simplex-permutohedron
Journal of Algebraic Combinatorics | 2014-03-25 | Paper |
Graphs of plural cuts
Theoretical Computer Science | 2013-12-04 | Paper |
Ordinals in Frobenius monads
Journal of Pure and Applied Algebra | 2013-06-24 | Paper |
Coherence of proof-net categories
Publications de l'Institut Math?matique (Belgrade) | 2013-06-10 | Paper |
Coherence of proof-net categories
Publications de l'Institut Math?matique (Belgrade) | 2013-06-10 | Paper |
The Typed Böhm Theorem
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Syntax for split preorders
Annals of Pure and Applied Logic | 2013-03-15 | Paper |
Shuffles and concatenations in the construction of graphs
Mathematical Structures in Computer Science | 2012-11-22 | Paper |
Intermutation
Applied Categorical Structures | 2012-05-23 | Paper |
Isomorphic formulae in classical propositional logic
Mathematical Logic Quarterly | 2012-02-29 | Paper |
Hypergraph polytopes
Topology and its Applications | 2011-08-04 | Paper |
Negation and involutive adjunctions
(available as arXiv preprint) | 2011-06-21 | Paper |
Coherence for modalities
Journal of Pure and Applied Algebra | 2011-04-29 | Paper |
Bicartesian Coherence Revisited
(available as arXiv preprint) | 2011-01-26 | Paper |
Symmetric self-adjunctions: a justification of Brauer's representation of Brauer's algebras
(available as arXiv preprint) | 2011-01-25 | Paper |
Coherence for monoidal endofunctors
Mathematical Structures in Computer Science | 2010-08-26 | Paper |
Coherence for monoidal monads and comonads
Mathematical Structures in Computer Science | 2010-08-26 | Paper |
Coherence in linear predicate logic
Annals of Pure and Applied Logic | 2009-04-09 | Paper |
Equality of proofs for linear equality
Archive for Mathematical Logic | 2008-09-12 | Paper |
Relevant categories and partial functions
(available as arXiv preprint) | 2008-07-02 | Paper |
| Relevant categories and partial functions | 2008-07-02 | Paper |
Medial commutativity
Annals of Pure and Applied Logic | 2007-05-23 | Paper |
A NEW PROOF OF THE FAITHFULNESS OF BRAUER'S REPRESENTATION OF TEMPERLEY–LIEB ALGEBRAS
International Journal of Algebra and Computation | 2007-02-07 | Paper |
Coherence for star-autonomous categories
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Associativity as commutativity
Journal of Symbolic Logic | 2006-07-05 | Paper |
| Proof-theoretical coherence | 2006-03-27 | Paper |
| Coherence and Confluence | 2005-06-15 | Paper |
Generality of proofs and its Brauerian representation
Journal of Symbolic Logic | 2005-02-09 | Paper |
Generality of proofs and its Brauerian representation
Journal of Symbolic Logic | 2005-02-09 | Paper |
The geometry of self-adjunction
Publications de l'Institut Mathematique | 2005-01-03 | Paper |
A Brauerian representation of split preorders
Mathematical Logic Quarterly | 2004-02-12 | Paper |
| scientific article; zbMATH DE number 2006632 (Why is no real title available?) | 2003-11-23 | Paper |
scientific article; zbMATH DE number 2006632 (Why is no real title available?)
(available as arXiv preprint) | 2003-11-23 | Paper |
Self-adjunctions and matrices.
Journal of Pure and Applied Algebra | 2003-09-15 | Paper |
G-dinaturality.
Annals of Pure and Applied Logic | 2003-08-13 | Paper |
Bicartesian coherence
Studia Logica | 2002-12-15 | Paper |
| scientific article; zbMATH DE number 1823879 (Why is no real title available?) | 2002-11-05 | Paper |
Kauffman Monoids
Journal of Knot Theory and Its Ramifications | 2002-07-30 | Paper |
Coherence in substructural categories
Studia Logica | 2002-07-08 | Paper |
The maximality of the typed lambda calculus and of cartesian closed categories
Publications de l'Institut Mathématique. Nouvelle Série | 2001-07-08 | Paper |
The maximality of the typed lambda calculus and of cartesian closed categories
Publications de l'Institut Mathématique. Nouvelle Série | 2001-07-08 | Paper |
The maximality of Cartesian categories
Mathematical Logic Quarterly (MLQ) | 2001-03-28 | Paper |
On permuting cut with contraction
Mathematical Structures in Computer Science | 2000-07-24 | Paper |
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
Journal of Symbolic Logic | 2000-01-09 | Paper |
Isomorphic objects in symmetric monoidal closed categories
Mathematical Structures in Computer Science | 1998-10-01 | Paper |
| scientific article; zbMATH DE number 970632 (Why is no real title available?) | 1997-03-16 | Paper |
Coherence for logicians
(available as arXiv preprint) | N/A | Paper |
