Luca Reggio, A model category for modal logic
Preprint available on arXiv
Luca Reggio and Colin Riba, Finitely accessible arboreal adjunctions and Hintikka formulae
Preprint available on arXiv
Célia Borlido, Panagis Karazeris, Luca Reggio and Konstantinos Tsamis, Filtral pretoposes and compact Hausdorff locales
Preprint available on arXiv
Samson Abramsky and Luca Reggio, An invitation to game comonads
ACM SIGLOG News, Volume 11, Issue 3, pp. 5-48, 2024
Preprint available on arXiv
Samson Abramsky and Luca Reggio, Arboreal categories and equi-resource homomorphism preservation theorems
Annals of Pure and Applied Logic, Vol. 175, Issue 6, 103423, 2024
Preprint available on arXiv
Samson Abramsky and Luca Reggio, Arboreal categories. An axiomatic theory of resources
Logical Methods in Computer Science, Vol. 19, issue 3, pp. 14:1-14:36, 2023
Extended version of the ICALP’21 paper. Preprint available on arXiv
Marco Abbadini and Luca Reggio, Barr-exact categories and soft sheaf representations
Journal of Pure and Applied Algebra, Vol. 227, issue 12, 107413, 2023
Preprint available on arXiv
George Metcalfe and Luca Reggio, Model completions for universal classes of algebras. Necessary and sufficient conditions
Journal of Symbolic Logic, Vol. 88, issue 1, pp. 381-417, 2023
Preprint available on arXiv
Mai Gehrke, Tomas Jakl and Luca Reggio, A Cook’s tour of duality in logic. From quantifiers, through Vietoris, to measures
Samson Abramsky on Logic and Structure in Computer Science and Beyond, Outstanding Contributions to Logic, Vol. 25, Springer, 2023
Preprint available on arXiv
Luca Reggio, Polyadic sets and homomorphism counting
Advances in Mathematics, Vol. 410, Part A, 108712, 2022
Preprint available on arXiv
Mai Gehrke, Tomas Jakl and Luca Reggio, A duality theoretic view on limits of finite structures (Extended version)
Logical Methods in Computer Science, Vol. 18, Issue 1, pp. 16:1-16:38, 2022
Preprint available on Zenodo
Samson Abramsky and Luca Reggio, Arboreal categories and resources
48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs Vol. 198, pp. 115:1-115:20, 2021
Preprint available on Zenodo
Anuj Dawar, Tomas Jakl and Luca Reggio, Lovász-type theorems and game comonads
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS), pp. 1-13, 2021
Preprint available on arXiv
Luca Reggio, Beth definability and the Stone-Weierstrass Theorem
Annals of Pure and Applied Logic, Vol. 172, Issue 8, 102990, 2021
Preprint available on arXiv
Mai Gehrke, Daniela Petrisan and Luca Reggio, Quantifiers on languages and codensity monads (Extended version)
Mathematical Structures in Computer Science, Vol. 30, Issue 10, pp. 1054-1088, 2020
Preprint available on arXiv
Vincenzo Marra and Luca Reggio, A characterisation of the category of compact Hausdorff spaces
Theory and Applications of Categories, Vol. 35, No. 51, pp. 1871-1906, 2020
Preprint available on arXiv
Marco Abbadini and Luca Reggio, On the axiomatisability of the dual of compact ordered spaces
Applied Categorical Structures, Vol. 28, pp. 921-934, 2020
Preprint available on arXiv
Mai Gehrke, Tomas Jakl and Luca Reggio, A duality theoretic view on limits of finite structures
Foundations of Software Science and Computation Structures (FoSSaCS), Proceedings of the 23rd International Conference, pp. 299-318, 2020
Preprint available on arXiv
Luca Reggio, Codensity, profiniteness and algebras of semiring-valued measures
Journal of Pure and Applied Algebra, Vol. 224, pp. 181-205, 2020
Preprint available on arXiv
Sam van Gool and Luca Reggio, An open mapping theorem for finitely copresented Esakia spaces
Topology and its Applications, Vol. 240, pp. 69-77, 2018
Preprint available on arXiv
Mai Gehrke, Daniela Petrisan and Luca Reggio, Quantifiers on languages and codensity monads
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS), pp. 1-12, 2017
Preprint available on ORA
Vincenzo Marra and Luca Reggio, Stone duality above dimension zero. Axiomatising the algebraic theory of C(X)
Advances in Mathematics, Vol. 307, pp. 253-287, 2017
Preprint available on arXiv
Mai Gehrke, Daniela Petrisan and Luca Reggio, The Schutzenberger Product for Syntactic Spaces
43rd International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs Vol. 55, pp. 112:1-112:14, 2016
Luca Reggio, Quantifiers and duality
PhD thesis, Sorbonne Paris Cité, 2018, available on HAL (a local copy is hosted here)
Luca Reggio, Stone duality above dimension zero
Master’s thesis, Università degli Studi di Milano, 2015, available at this link