Matteo Spadetto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | The Biequivalence of Path Categories and Axiomatic Martin-Lf Type Theories. | Danil Otten, Matteo Spadetto |
| 2026 | FOSSACS | A 2-categorical approach to the semantics of dependent type theory with computation axioms. | Matteo Spadetto |
| 2022 | LFCS | Dialectica Logical Principles. | Davide Trotta, Matteo Spadetto, Valeria de Paiva |
| 2021 | MFCS | The Gdel Fibration. | Davide Trotta, Matteo Spadetto, Valeria de Paiva |