- Aaron David Fairbanks, Peter Selinger. On traces in categories of contractions. Mathematical Structures in Computer Science, 36, 2026.
- Robert Paré. Multivariate functorial difference. Mathematical Structures in Computer Science, 36, 2026.
- Jirí Rosický. Discrete Lawvere theories and monads. Mathematical Structures in Computer Science, 36, 2026.
- Daniel Murfet, William Troiani. Linear logic and the Hilbert scheme. Mathematical Structures in Computer Science, 36, 2026.
- Edmund Robinson, Joshua Wrigley. Day algebras. Mathematical Structures in Computer Science, 36, 2026.
- Eugenio Moggi. Categories for collection monads. Mathematical Structures in Computer Science, 36, 2026.
- Murdoch James Gabbay. Semiframes: the algebra of semitopologies and actionable coalitions. Mathematical Structures in Computer Science, 36, 2026.
- Daniel Murfet, William Troiani. Gentzen-Mints-Zucker duality. Mathematical Structures in Computer Science, 36, 2026.
- Pavel Kovalev, Carlo Angiuli. A dependently-typed calculus of event telicity and culminativity. Mathematical Structures in Computer Science, 36, 2026.
- Pietro Sabelli. A topological reading of coinductive predicates in dependent type theory. Mathematical Structures in Computer Science, 35, 2025.