Davide Trotta

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 18

Top Topics

Mazurkiewicz Traces

Concurrent Systems

Top Venues

Ann. Pure Appl. Log.

Publications

Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines. MFCS (2024)
Samuele Maschio, Davide Trotta
On categorical structures arising from implicative algebras: From topology to assemblies. Ann. Pure Appl. Log. 175 (3) (2024)
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines. CoRR (2024)
Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. Appl. Categorical Struct. 31 (5) (2023)
Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta
Weakly Markov Categories and Weakly Affine Monads. CALCO (2023)
Samuele Maschio, Davide Trotta
On categorical structures arising from implicative algebras: from topology to assemblies. CoRR (2023)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Dialectica principles via Gödel doctrines. Theor. Comput. Sci. 947 (2023)
Fabio Gadducci, Andrea Laretto, Davide Trotta
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation. ICGT (2023)
Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta
Weakly affine monads. CoRR (2023)
Fabio Gadducci, Andrea Laretto, Davide Trotta
Specification and verification of a linear-time logic for graph transformation. CoRR (2023)
Maria Emilia Maietti, Davide Trotta
A characterization of generalized existential completions. Ann. Pure Appl. Log. 174 (4) (2023)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Dialectica Logical Principles. LFCS (2022)
Fabio Gadducci, Davide Trotta
A Presheaf Semantics for Quantified Temporal Logics. WADT (2022)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Dialectica logical principles: not only rules. J. Log. Comput. 32 (8) (2022)
Andrea Corradini, Fabio Gadducci, Davide Trotta
Completeness and expressiveness for gs-monoidal categories. CoRR (2022)
Fabio Gadducci, Davide Trotta
A Presheaf Semantics for Quantified Temporal Logics. CoRR (2021)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
The Gödel Fibration. MFCS (2021)
Davide Trotta, Margherita Zorzi
Compositional theories for embedded languages. CoRR (2020)