TROTTA, DAVIDE
TROTTA, DAVIDE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
A Presheaf Semantics for Quantified Temporal Logics
2023 Gadducci, F.; Trotta, D.
Dialectica Logical Principles
2022 Trotta, D.; Spadetto, M.; de Paiva, V.
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
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation
2023 Gadducci, F.; Laretto, A.; Trotta, D.
The existential completion
2020 Trotta, D.
The Gödel Fibration
2021 Trotta, D.; Spadetto, M.; Paiva, V. D.
Weakly Markov Categories and Weakly Affine Monads
2023 Fritz, Tobias; Gadducci, Fabio; Perrone, Paolo; Trotta, Davide
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines
2024 Bonchi, F.; Di Giorgio, A.; Trotta, D.