Fosco Loregiàn

According to our database, Fosco Loregiàn authored at least 17 papers between 2016 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

2025

Directed First-Order Logic.

Andrea Laretto, Fosco Loregiàn, Niccolò Veltri

CoRR, April, 2025

Monads and limits in bicategories of circuits.

Fosco Loregiàn

CoRR, January, 2025

2024

Directed equality with dinaturality.

Andrea Laretto, Fosco Loregiàn, Niccolò Veltri

CoRR, 2024

Profunctor Optics, a Categorical Update.

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

Compositionality, 2024

Automata and Coalgebras in Categories of Species.

Fosco Loregiàn

Proceedings of the Coalgebraic Methods in Computer Science, 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

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

Fibrational Linguistics (FibLang): Language Acquisition.

Fabrizio Romano Genovese, Fosco Loregiàn, Caterina Puca

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

Differential 2-rigs.

Fosco Loregiàn, Todd Trimble

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

2016

t-Structures are Normal Torsion Theories.

Domenico Fiorenza, Fosco Loregiàn

Appl. Categorical Struct., 2016