Gentzen-Mints-Zucker duality. - Daniel Murfet; William Troiani (CoRR, 2020)

Elimination and cut-elimination in multiplicative linear logic. - Daniel Murfet; William Troiani (CoRR, 2022)

Algebraic Geometry and Linear Logic. - William Troiani (2024)

The Internal Logic and Finite Colimits. - William Troiani (Logica Universalis, 2024)

Programs as Singularities. - Daniel Murfet; William Troiani (CoRR, 2025)