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

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

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

A conservativity result for homotopy elementary types in dependent type theory. - Matteo Spadetto (CoRR, 2023)

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

A biequivalence of path categories and axiomatic Martin-Löf type theories. - Daniël Otten; Matteo Spadetto (CoRR, 2025)

A 2-categorical approach to the semantics of dependent type theory with computation axioms. - Matteo Spadetto (CoRR, 2025)