Lovász-type theorems and game comonads A Dawar, T Jakl, L Reggio 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 51 | 2021 |
Stone duality above dimension zero: Axiomatising the algebraic theory of C (X) V Marra, L Reggio Advances in Mathematics 307, 253-287, 2017 | 40 | 2017 |
The Sch\" utzenberger product for syntactic spaces M Gehrke, D Petrisan, L Reggio 43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016 | 25 | 2016 |
Arboreal Categories and Resources S Abramsky, L Reggio 48th International Colloquium on Automata, Languages, and Programming (ICALP …, 2021 | 23 | 2021 |
Quantifiers on languages and codensity monads M Gehrke, D Petrişan, L Reggio 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 23 | 2017 |
Polyadic sets and homomorphism counting L Reggio Advances in Mathematics 410, 108712, 2022 | 18 | 2022 |
On the axiomatisability of the dual of compact ordered spaces M Abbadini, L Reggio Applied Categorical Structures 28 (6), 921-934, 2020 | 16 | 2020 |
A characterisation of the category of compact Hausdorff spaces V Marra, L Reggio Theory and Applications of Categories 35 (51), 1871-1906, 2020 | 15 | 2020 |
Arboreal categories: An axiomatic theory of resources S Abramsky, L Reggio Logical Methods in Computer Science 19, 2023 | 12 | 2023 |
Arboreal categories and equi-resource homomorphism preservation theorems S Abramsky, L Reggio Annals of Pure and Applied Logic 175 (6), 103423, 2024 | 8* | 2024 |
Model completions for universal classes of algebras: necessary and sufficient conditions G Metcalfe, L Reggio The journal of symbolic logic 88 (1), 381-417, 2023 | 8 | 2023 |
An open mapping theorem for finitely copresented Esakia spaces SJ Gool, L Reggio Topology and its Applications 240, 69-77, 2018 | 7 | 2018 |
Finitely accessible arboreal adjunctions and Hintikka formulae L Reggio, C Riba arXiv preprint arXiv:2304.12709, 2023 | 6 | 2023 |
Beth definability and the Stone-Weierstrass Theorem L Reggio Annals of Pure and Applied Logic 172 (8), 102990, 2021 | 4 | 2021 |
Codensity, profiniteness and algebras of semiring-valued measures L Reggio Journal of Pure and Applied Algebra 224 (1), 181-205, 2020 | 4 | 2020 |
A model category for modal logic L Reggio arXiv preprint arXiv:2310.12068, 2023 | 3 | 2023 |
A Cook’s tour of duality in logic: from quantifiers, through Vietoris, to measures M Gehrke, T Jakl, L Reggio Samson Abramsky on Logic and Structure in Computer Science and Beyond, 129-158, 2023 | 3 | 2023 |
A duality theoretic view on limits of finite structures M Gehrke, T Jakl, L Reggio International Conference on Foundations of Software Science and Computation …, 2020 | 3 | 2020 |
Filtral pretoposes and compact Hausdorff locales C Borlido, P Karazeris, L Reggio, K Tsamis arXiv preprint arXiv:2306.11169, 2023 | 1 | 2023 |
An invitation to game comonads S Abramsky, L Reggio ACM SIGLOG News 11 (3), 5-48, 2024 | | 2024 |