Luca Reggio

26 papers A* 4B 1Journal 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
On the Axioms of Arboreal Categories.
CoRR
Tomás Jakl, Luca Reggio
2025 J jnl
Existential and positive games: a comonadic and axiomatic view.
CoRR
Samson Abramsky, Thomas Laure, Luca Reggio
2024 J jnl
An Invitation to Game Comonads.
ACM SIGLOG News
Samson Abramsky, Luca Reggio
2024 J jnl
An invitation to game comonads.
CoRR
Samson Abramsky, Luca Reggio
2024 J jnl
Arboreal categories and equi-resource homomorphism preservation theorems.
Ann. Pure Appl. Log.
Samson Abramsky, Luca Reggio
2023 J jnl
Arboreal Categories: An Axiomatic Theory of Resources.
Log. Methods Comput. Sci.
Samson Abramsky, Luca Reggio
2023 J jnl
Finitely accessible arboreal adjunctions and Hintikka formulae.
CoRR
Luca Reggio, Colin Riba
2023 J jnl
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions.
J. Symb. Log.
George Metcalfe, Luca Reggio
2022 J jnl
A duality theoretic view on limits of finite structures: Extended version.
Log. Methods Comput. Sci.
Mai Gehrke, Tomas Jakl, Luca Reggio
2021 A* conf
Arboreal Categories and Resources.
ICALP
Samson Abramsky, Luca Reggio
2021 J jnl
Arboreal Categories: An Axiomatic Theory of Resources.
CoRR
Samson Abramsky, Luca Reggio
2021 J jnl
Beth definability and the Stone-Weierstrass Theorem.
Ann. Pure Appl. Log.
Luca Reggio
2021 A* conf
Lovász-Type Theorems and Game Comonads.
LICS
Anuj Dawar, Tomas Jakl, Luca Reggio
2021 J jnl
Lovász-Type Theorems and Game Comonads.
CoRR
Anuj Dawar, Tomas Jakl, Luca Reggio
2021 J jnl
Polyadic Sets and Homomorphism Counting.
CoRR
Luca Reggio
2020 J jnl
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures.
CoRR
Mai Gehrke, Tomas Jakl, Luca Reggio
2020 B conf
A Duality Theoretic View on Limits of Finite Structures.
FoSSaCS
Mai Gehrke, Tomas Jakl, Luca Reggio
2020 J jnl
A duality theoretic view on limits of finite structures: Extended version.
CoRR
Mai Gehrke, Tomas Jakl, Luca Reggio
2020 J jnl
On the Axiomatisability of the Dual of Compact Ordered Spaces.
Appl. Categorical Struct.
Marco Abbadini, Luca Reggio
2020 J jnl
Quantifiers on languages and codensity monads.
Math. Struct. Comput. Sci.
Mai Gehrke, Daniela Petrisan, Luca Reggio
2019 J jnl
A duality theoretic view on limits of finite structures.
CoRR
Mai Gehrke, Tomas Jakl, Luca Reggio
2018 — —
Quantifiers and duality. (Quantificateurs et dualité).
Luca Reggio
2017 A* conf
Quantifiers on languages and codensity monads.
LICS
Mai Gehrke, Daniela Petrisan, Luca Reggio
2017 J jnl
Quantifiers on languages and codensity monads.
CoRR
Mai Gehrke, Daniela Petrisan, Luca Reggio
2016 A* conf
The Schützenberger Product for Syntactic Spaces.
ICALP
Mai Gehrke, Daniela Petrisan, Luca Reggio
2016 J jnl
The Schützenberger product for syntactic spaces.
CoRR
Mai Gehrke, Daniela Petrisan, Luca Reggio