TROTTA, DAVIDE Statistiche
TROTTA, DAVIDE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 secondi).
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines
2024-01-01 Bonchi, Filippo; DI GIORGIO, Alessandro; Trotta, Davide
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness
2023-01-01 Fritz, Tobias; Gadducci, Fabio; Trotta, Davide; Corradini, Andrea
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation
2023-01-01 Gadducci, F.; Laretto, A.; Trotta, D.
Weakly Markov Categories and Weakly Affine Monads
2023-01-01 Fritz, Tobias; Gadducci, Fabio; Perrone, Paolo; Trotta, Davide
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines | 1-gen-2024 | Bonchi, Filippo; DI GIORGIO, Alessandro; Trotta, Davide | |
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness | 1-gen-2023 | Fritz, Tobias; Gadducci, Fabio; Trotta, Davide; Corradini, Andrea | |
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation | 1-gen-2023 | Gadducci, F.; Laretto, A.; Trotta, D. | |
Weakly Markov Categories and Weakly Affine Monads | 1-gen-2023 | Fritz, Tobias; Gadducci, Fabio; Perrone, Paolo; Trotta, Davide |