Follow
Matteo Spadetto
Matteo Spadetto
PhD student, School of Mathematics, University of Leeds
Verified email at leeds.ac.uk - Homepage
Title
Cited by
Cited by
Year
The Gödel Fibration
D Trotta, M Spadetto, V de Paiva
arXiv preprint arXiv:2104.14021, 2021
82021
Dialectica logical principles: not only rules
D Trotta, M Spadetto, V de Paiva
Journal of Logic and Computation 32 (8), 1855-1875, 2022
62022
Dialectica logical principles
D Trotta, M Spadetto, V de Paiva
Logical Foundations of Computer Science: International Symposium, LFCS 2022 …, 2022
62022
Quantifier completions, choice principles and applications
D Trotta, M Spadetto
arXiv preprint arXiv:2010.09111, 2020
62020
Dialectica Principles via Gödel Doctrines
D Trotta, M Spadetto, V de Paiva
Theoretical Computer Science, 113692, 2023
22023
A conservativity result for homotopy elementary types in dependent type theory
M Spadetto
arXiv preprint arXiv:2303.05623, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–6