Matteo Spadetto

According to our database, Matteo Spadetto authored at least 5 papers between 2021 and 2023.

Collaborative distances:

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

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