Compositional theories for embedded languages. - Davide Trotta; Margherita Zorzi (CoRR, 2020)

The Gödel Fibration. - Davide Trotta; Matteo Spadetto; Valeria de Paiva (MFCS, 2021)

A Presheaf Semantics for Quantified Temporal Logics. - Fabio Gadducci; Davide Trotta (WADT, 2022)

Dialectica Logical Principles. - Davide Trotta; Matteo Spadetto; Valeria de Paiva (LFCS, 2022)

Completeness and expressiveness for gs-monoidal categories. - Andrea Corradini 001; Fabio Gadducci; Davide Trotta (CoRR, 2022)

Dialectica logical principles: not only rules. - Davide Trotta; Matteo Spadetto; Valeria de Paiva (J. Log. Comput., 2022)

Weakly Markov Categories and Weakly Affine Monads. - Tobias Fritz; Fabio Gadducci; Paolo Perrone; Davide Trotta (CALCO, 2023)

Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation. - Fabio Gadducci; Andrea Laretto; Davide Trotta (ICGT, 2023)

Weakly affine monads. - Tobias Fritz; Fabio Gadducci; Paolo Perrone; Davide Trotta (CoRR, 2023)

Specification and verification of a linear-time logic for graph transformation. - Fabio Gadducci; Andrea Laretto; Davide Trotta (CoRR, 2023)

Dialectica principles via Gödel doctrines. - Davide Trotta; Matteo Spadetto; Valeria de Paiva (Theor. Comput. Sci., 2023)

A characterization of generalized existential completions. - Maria Emilia Maietti; Davide Trotta (Ann. Pure Appl. Log., 2023)

From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. - Tobias Fritz; Fabio Gadducci; Davide Trotta; Andrea Corradini 001 (Appl. Categorical Struct., 2023)

When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines. - Filippo Bonchi; Alessandro Di Giorgio 002; Davide Trotta (MFCS, 2024)

On categorical structures arising from implicative algebras: From topology to assemblies. - Samuele Maschio; Davide Trotta (Ann. Pure Appl. Log., 2024)

Categorifying computable reducibilities. - Davide Trotta; Manlio Valenti; Valeria de Paiva (Log. Methods Comput. Sci., 2025)