Fosco Loregiàn

According to our database, Fosco Loregiàn authored at least 11 papers between 2016 and 2024.

Collaborative distances:

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

2024

Automata and coalgebras in categories of species.

Fosco Loregiàn

CoRR, 2024

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

CoRR, 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

2022

Coends of Higher Arity.

Fosco Loregiàn, Théo de Oliveira Santos

Appl. Categorical Struct., 2022

2021

Functorial semantics for partial theories.

Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski

Proc. ACM Program. Lang., 2021

A Categorical Semantics for Bounded Petri Nets.

Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Nets with Mana: A Framework for Chemical Reaction Modelling.

Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi

Proceedings of the Graph Transformation - 14th International Conference, 2021

2020

Profunctor optics, a categorical update.

Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román

CoRR, 2020

2016

t-Structures are Normal Torsion Theories.

Domenico Fiorenza, Fosco Loregiàn

Appl. Categorical Struct., 2016