| Publication | Date of Publication | Type |
|---|
Gentzen-Mints-Zucker duality
Mathematical Structures in Computer Science | 2026-04-14 | Paper |
Linear logic and the Hilbert scheme
Mathematical Structures in Computer Science | 2026-04-14 | Paper |
Linear Logic and the Hilbert Scheme
(available as arXiv preprint) | 2025-01-01 | Paper |
Programs as Singularities
(available as arXiv preprint) | 2025-01-01 | Paper |
Linear Logic and Quantum Error Correcting Codes
(available as arXiv preprint) | 2024-01-01 | Paper |
| Elimination and cut-elimination in multiplicative linear logic | 2022-07-22 | Paper |
Elimination and cut-elimination in multiplicative linear logic
(available as arXiv preprint) | 2022-01-01 | Paper |
Encodings of Turing machines in linear logic
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
Cofree coalgebras and differential linear logic
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
| Gentzen-Mints-Zucker duality | 2020-08-23 | Paper |
Gentzen-Mints-Zucker duality
(available as arXiv preprint) | 2020-01-01 | Paper |
| Constructing A_\infty-categories of matrix factorisations | 2019-03-17 | Paper |
Constructing $A_\infty$-categories of matrix factorisations
(available as arXiv preprint) | 2019-01-01 | Paper |
| Derivatives of Turing machines in Linear Logic | 2018-05-30 | Paper |
The cut operation on matrix factorisations
Journal of Pure and Applied Algebra | 2018-03-02 | Paper |
Derivatives of Turing machines in Linear Logic
(available as arXiv preprint) | 2018-01-01 | Paper |
A toolkit for defect computations in Landau-Ginzburg models
String-Math 2012 | 2017-02-28 | Paper |
Adjunctions and defects in Landau-Ginzburg models
Advances in Mathematics | 2016-01-15 | Paper |
On Sweedler's cofree cocommutative coalgebra.
Journal of Pure and Applied Algebra | 2015-08-31 | Paper |
| Logic and linear algebra: an introduction | 2014-07-09 | Paper |
Computing Khovanov-Rozansky homology and defect fusion
Algebraic & Geometric Topology | 2014-01-30 | Paper |
Residues and duality for singularity categories of isolated Gorenstein singularities
Compositio Mathematica | 2014-01-24 | Paper |
Logic and linear algebra: an introduction
(available as arXiv preprint) | 2014-01-01 | Paper |
Pushing forward matrix factorizations
Duke Mathematical Journal | 2013-06-24 | Paper |
Pushing forward matrix factorizations
Duke Mathematical Journal | 2013-06-24 | Paper |
The Kapustin-Li formula revisited
Advances in Mathematics | 2012-10-16 | Paper |
Rouquier's Cocovering Theorem and Well-generated Triangulated Categories
Journal of \(K\)-Theory | 2011-10-11 | Paper |
On two examples by Iyama and Yoshino
Compositio Mathematica | 2011-04-29 | Paper |
Totally acyclic complexes over noetherian schemes
Advances in Mathematics | 2011-01-12 | Paper |
