Davide Trotta

According to our database, Davide Trotta authored at least 15 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On categorical structures arising from implicative algebras: From topology to assemblies.

Samuele Maschio, Davide Trotta

Ann. Pure Appl. Log., 2024

When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines.

Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023

From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness.

Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini

Appl. Categorical Struct., October, 2023

A characterization of generalized existential completions.

Maria Emilia Maietti, Davide Trotta

Ann. Pure Appl. Log., April, 2023

Dialectica principles via Gödel doctrines.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Theor. Comput. Sci., February, 2023

Specification and verification of a linear-time logic for graph transformation.

Fabio Gadducci, Andrea Laretto, Davide Trotta

CoRR, 2023

Weakly affine monads.

Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta

CoRR, 2023

Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation.

Fabio Gadducci, Andrea Laretto, Davide Trotta

Proceedings of the Graph Transformation - 16th International Conference, 2023

Weakly Markov Categories and Weakly Affine Monads.

Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Dialectica logical principles: not only rules.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

J. Log. Comput., 2022

Completeness and expressiveness for gs-monoidal categories.

Andrea Corradini, Fabio Gadducci, Davide Trotta

CoRR, 2022

Dialectica Logical Principles.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

A Presheaf Semantics for Quantified Temporal Logics.

Fabio Gadducci, Davide Trotta

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021

The Gödel Fibration.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Compositional theories for embedded languages.

Davide Trotta, Margherita Zorzi

CoRR, 2020