We stand with Ukraine  

Matteo Spadetto

Orcid: 0000-0002-6495-7405

According to our database1, Matteo Spadetto authored at least 7 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A 2-categorical approach to the semantics of dependent type theory with computation axioms.
[BibTeX]
[DOI]
Matteo Spadetto
CoRR, July, 2025

A biequivalence of path categories and axiomatic Martin-Löf type theories.
[BibTeX]
[DOI]
Daniël Otten
,
Matteo Spadetto
CoRR, March, 2025

2023
Dialectica principles via Gödel doctrines.
[BibTeX]
[DOI]
Davide Trotta
,
Matteo Spadetto
,
Valeria de Paiva
Theor. Comput. Sci., February, 2023

A conservativity result for homotopy elementary types in dependent type theory.
[BibTeX]
[DOI]
Matteo Spadetto
CoRR, 2023

2022
Dialectica logical principles: not only rules.
[BibTeX]
[DOI]
Davide Trotta
,
Matteo Spadetto
,
Valeria de Paiva
J. Log. Comput., 2022

Dialectica Logical Principles.
[BibTeX]
[DOI]
Davide Trotta
,
Matteo Spadetto
,
Valeria de Paiva
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2021
The Gödel Fibration.
[BibTeX]
[DOI]
Davide Trotta
,
Matteo Spadetto
,
Valeria de Paiva
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021


  Loading...