Higher Algebraic K-Theory of Causality. [PDF]
On Hironaka's Monoideal
Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq
Fusion 3-Categories for Duality Defects. [PDF]
Idempotents and homology of diagram algebras. [PDF]