Luca Reggio

According to our database, Luca Reggio authored at least 18 papers between 2016 and 2026.

Collaborative distances:

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

2026

On the Axioms of Arboreal Categories.

Tomás Jakl, Luca Reggio

CoRR, March, 2026

Existential and positive games: a comonadic and axiomatic view.

Samson Abramsky, Thomas Laure, Luca Reggio

Ann. Pure Appl. Log., 2026

2024

An Invitation to Game Comonads.

Samson Abramsky, Luca Reggio

ACM SIGLOG News, July, 2024

Arboreal categories and equi-resource homomorphism preservation theorems.

Samson Abramsky, Luca Reggio

Ann. Pure Appl. Log., 2024

2023

Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions.

George Metcalfe, Luca Reggio

J. Symb. Log., March, 2023

Arboreal Categories: An Axiomatic Theory of Resources.

Samson Abramsky, Luca Reggio

Log. Methods Comput. Sci., 2023

Finitely accessible arboreal adjunctions and Hintikka formulae.

Luca Reggio, Colin Riba

CoRR, 2023

2022

A duality theoretic view on limits of finite structures: Extended version.

Mai Gehrke, Tomas Jakl, Luca Reggio

Log. Methods Comput. Sci., 2022

2021

Polyadic Sets and Homomorphism Counting.

Luca Reggio

CoRR, 2021

Beth definability and the Stone-Weierstrass Theorem.

Luca Reggio

Ann. Pure Appl. Log., 2021

Lovász-Type Theorems and Game Comonads.

Anuj Dawar, Tomas Jakl, Luca Reggio

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Arboreal Categories and Resources.

Samson Abramsky, Luca Reggio

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures.

Mai Gehrke, Tomas Jakl, Luca Reggio

CoRR, 2020

On the Axiomatisability of the Dual of Compact Ordered Spaces.

Marco Abbadini, Luca Reggio

Appl. Categorical Struct., 2020

A Duality Theoretic View on Limits of Finite Structures.

Mai Gehrke, Tomas Jakl, Luca Reggio

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2018

Quantifiers and duality. (Quantificateurs et dualité).

Luca Reggio

PhD thesis, 2018

2017

Quantifiers on languages and codensity monads.

Mai Gehrke, Daniela Petrisan, Luca Reggio

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

The Schützenberger Product for Syntactic Spaces.

Mai Gehrke, Daniela Petrisan, Luca Reggio

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016