The Gödel Fibration D Trotta, M Spadetto, V de Paiva arXiv preprint arXiv:2104.14021, 2021 | 8 | 2021 |
Dialectica logical principles: not only rules D Trotta, M Spadetto, V de Paiva Journal of Logic and Computation 32 (8), 1855-1875, 2022 | 6 | 2022 |
Dialectica logical principles D Trotta, M Spadetto, V de Paiva Logical Foundations of Computer Science: International Symposium, LFCS 2022 …, 2022 | 6 | 2022 |
Quantifier completions, choice principles and applications D Trotta, M Spadetto arXiv preprint arXiv:2010.09111, 2020 | 6 | 2020 |
Dialectica Principles via Gödel Doctrines D Trotta, M Spadetto, V de Paiva Theoretical Computer Science, 113692, 2023 | 2 | 2023 |
A conservativity result for homotopy elementary types in dependent type theory M Spadetto arXiv preprint arXiv:2303.05623, 2023 | 1 | 2023 |