Fosco Loregiàn

22 papers B 2Journal 15Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Di- is for Directed: First-Order Directed Type Theory via Dinaturality.
Proc. ACM Program. Lang.
Andrea Laretto, Fosco Loregiàn, Niccolò Veltri
2025 J jnl
Automata and coalgebras in categories of species.
Math. Struct. Comput. Sci.
Fosco Loregiàn
2025 J jnl
Directed First-Order Logic.
CoRR
Andrea Laretto, Fosco Loregiàn, Niccolò Veltri
2025 J jnl
Monads and limits in bicategories of circuits.
CoRR
Fosco Loregiàn
2024 — conf
Automata and Coalgebras in Categories of Species.
CMCS
Fosco Loregiàn
2024 J jnl
Automata and coalgebras in categories of species.
CoRR
Fosco Loregiàn
2024 J jnl
Directed equality with dinaturality.
CoRR
Andrea Laretto, Fosco Loregiàn, Niccolò Veltri
2024 J jnl
Profunctor Optics, a Categorical Update.
Compositionality
Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román
2023 — conf
Bicategories of automata, automata in bicategories.
ACT
Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia
2023 B conf
Completeness for Categories of Generalized Automata ((Co)algebraic pearls).
CALCO
Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia
2023 J jnl
Completeness for categories of generalized automata.
CoRR
Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia
2023 J jnl
The semibicategory of Moore automata.
CoRR
Guido Boccali, Bojana Femic, Andrea Laretto, Fosco Loregiàn, Stefano Luneia
2022 J jnl
Coends of Higher Arity.
Appl. Categorical Struct.
Fosco Loregiàn, Théo de Oliveira Santos
2022 — conf
Differential 2-rigs.
ACT
Fosco Loregiàn, Todd Trimble
2022 — conf
Fibrational Linguistics (FibLang): Language Acquisition.
ACT
Fabrizio Romano Genovese, Fosco Loregiàn, Caterina Puca
2021 — conf
A Categorical Semantics for Bounded Petri Nets.
ACT
Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi
2021 J jnl
Functorial semantics for partial theories.
Proc. ACM Program. Lang.
Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
2021 B conf
Nets with Mana: A Framework for Chemical Reaction Modelling.
ICGT
Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi
2021 J jnl
Nets with Mana: A Framework for Chemical Reaction Modelling.
CoRR
Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi
2020 J jnl
Functorial Semantics for Partial Theories.
CoRR
Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
2020 J jnl
Profunctor optics, a categorical update.
CoRR
Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román
2016 J jnl
t-Structures are Normal Torsion Theories.
Appl. Categorical Struct.
Domenico Fiorenza, Fosco Loregiàn