Matteo Spadetto

According to our database, Matteo Spadetto authored at least 8 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

A 2-categorical approach to the semantics of dependent type theory with computation axioms.

Matteo Spadetto

CoRR, July, 2025

A biequivalence of path categories and axiomatic Martin-Löf type theories.

Daniël Otten, Matteo Spadetto

CoRR, March, 2025

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms.

Matteo Spadetto

Log. Methods Comput. Sci., 2025

2023

Dialectica principles via Gödel doctrines.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Theor. Comput. Sci., February, 2023

A conservativity result for homotopy elementary types in dependent type theory.

Matteo Spadetto

CoRR, 2023

2022

Dialectica logical principles: not only rules.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

J. Log. Comput., 2022

Dialectica Logical Principles.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2021

The Gödel Fibration.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021