TROTTA, DAVIDE
TROTTA, DAVIDE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.012 secondi).
Dialectica logical principles: not only rules
2022 Trotta, D.; Spadetto, M.; De Paiva, V.
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
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
The existential completion
2020 Trotta, D.