Andrea Laretto

According to our database, Andrea Laretto authored at least 10 papers between 2023 and 2026.

Collaborative distances:

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

2026

Di- is for Directed: First-Order Directed Type Theory via Dinaturality.

Andrea Laretto, Fosco Loregiàn, Niccolò Veltri

Proc. ACM Program. Lang., 2026

Counterpart-based Quantified Temporal Logics.

Fabio Gadducci, Andrea Laretto, Davide Trotta

J. Log. Algebraic Methods Program., 2026

2025

Directed First-Order Logic.

Andrea Laretto, Fosco Loregiàn, Niccolò Veltri

CoRR, April, 2025

2024

Directed equality with dinaturality.

Andrea Laretto, Fosco Loregiàn, Niccolò Veltri

CoRR, 2024

2023

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

Fabio Gadducci, Andrea Laretto, Davide Trotta

CoRR, 2023

The semibicategory of Moore automata.

Guido Boccali, Bojana Femic, Andrea Laretto, Fosco Loregiàn, Stefano Luneia

CoRR, 2023

Completeness for categories of generalized automata.

Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia

CoRR, 2023

Bicategories of automata, automata in bicategories.

Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 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

Completeness for Categories of Generalized Automata ((Co)algebraic pearls).

Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia

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