TROTTA, DAVIDE
TROTTA, DAVIDE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.021 secondi).
CATEGORIFYING COMPUTABLE REDUCIBILITIES
2025 Trotta, D.; Valenti, M.; DE PAIVA, V.
On categorical structures arising from implicative algebras: From topology to assemblies
2024 Maschio, S.; Trotta, D.
Quotients, Pure existential completions and arithmetic universes
2024 Maietti, MARIA EMILIA; Trotta, Davide
A characterization of generalized existential completions
2023 Maietti, M. E.; Trotta, D.
Dialectica principles via Gödel doctrines
2023 Trotta, D.; Spadetto, M.; de Paiva, V.
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness
2023 Fritz, Tobias; Gadducci, Fabio; Trotta, Davide; Corradini, Andrea
Dialectica logical principles: not only rules
2022 Trotta, D.; Spadetto, M.; De Paiva, V.
The existential completion
2020 Trotta, D.