2 citations · 4 across the 14 of their papers we have counts for
5 papers · 1 filter
Between Markov and restriction. Two more monads on categories for relations
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
The study of categories abstracting the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. In a previou…
Specification and verification of a linear-time logic for graph transformation
Fabio Gadducci, Andrea Laretto, Davide Trotta
We present a first-order linear-time temporal logic for reasoning about the evolution of directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logi…
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness
Tobias Fritz, Fabio Gadducci, Davide Trotta +1
Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal category has surfaced a few times under different monikers in the…
A Presheaf Semantics for Quantified Temporal Logics
Fabio Gadducci, Davide Trotta
Temporal logics stands for a widely adopted family of formalisms for the verification of computational devices, enriching propositional logics by operators predicating on the step-…
Compositional theories for host-core languages
Davide Trotta, Margherita Zorzi
Linear type theories, of various types and kinds, are of fundamental importance in most programming language research nowadays. In this paper we describe an extension of Benton's L…