| The existential completion D Trotta arXiv preprint arXiv:2108.03416, 2021 | 30 | 2021 |
| A characterization of generalized existential completions ME Maietti, D Trotta Annals of Pure and Applied Logic 174 (4), 103234, 2023 | 10 | 2023 |
| The Gödel Fibration D Trotta, M Spadetto, V de Paiva arXiv preprint arXiv:2104.14021, 2021 | 9 | 2021 |
| Dialectica logical principles: not only rules D Trotta, M Spadetto, V de Paiva Journal of Logic and Computation 32 (8), 1855-1875, 2022 | 8 | 2022 |
| Dialectica logical principles D Trotta, M Spadetto, V de Paiva International Symposium on Logical Foundations of Computer Science, 346-363, 2021 | 7 | 2021 |
| Quantifier completions, choice principles and applications D Trotta, M Spadetto arXiv preprint arXiv:2010.09111, 2020 | 6 | 2020 |
| Generalized existential completions and their regular and exact completions. arXiv ME Maietti, D Trotta | 5 | 2021 |
| A presheaf semantics for quantified temporal logics F Gadducci, D Trotta International Workshop on Algebraic Development Techniques, 81-99, 2022 | 4 | 2022 |
| Dialectica Principles via Gödel Doctrines D Trotta, M Spadetto, V de Paiva arXiv preprint arXiv:2205.07093, 2022 | 4 | 2022 |
| An algebraic approach to the completions of elementary doctrines D Trotta arXiv preprint arXiv:2108.03415, 2021 | 4 | 2021 |
| From gs-monoidal to oplax cartesian categories: Constructions and functorial completeness T Fritz, F Gadducci, D Trotta, A Corradini Applied Categorical Structures 31 (5), 42, 2023 | 3 | 2023 |
| Generalized existential completions and their regular and exact completions ME Maietti, D Trotta arXiv preprint arXiv:2111.03850, 2021 | 3 | 2021 |
| On categorical structures arising from implicative algebras: From topology to assemblies S Maschio, D Trotta Annals of Pure and Applied Logic 175 (3), 103390, 2024 | 2 | 2024 |
| Specification and verification of a linear-time temporal logic for graph transformation F Gadducci, A Laretto, D Trotta International Conference on Graph Transformation, 22-42, 2023 | 2 | 2023 |
| Quotients, pure existential completions and arithmetic universes ME Maietti, D Trotta Theory and Applications of Categories 42 (4), 59-83, 2023 | 2 | 2023 |
| Lax completeness for gs-monoidal categories T Fritz, F Gadducci, D Trotta, A Corradini arXiv preprint arXiv:2205.06892, 2022 | 2 | 2022 |
| Existential completion and pseudo-distributive laws: an algebraic approach to the completion of doctrines D Trotta Universitŕ degli studi di Trento, 2019 | 2 | 2019 |
| Skolem, G\" odel, and Hilbert fibrations D Trotta, J Weinberger, V de Paiva arXiv preprint arXiv:2407.15765, 2024 | 1 | 2024 |
| Weakly Markov categories and weakly affine monads T Fritz, F Gadducci, P Perrone, D Trotta arXiv preprint arXiv:2303.14049, 2023 | 1 | 2023 |
| When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines F Bonchi, A Di Giorgio, D Trotta arXiv preprint arXiv:2404.18795, 2024 | | 2024 |
