Seguir
Luca Reggio
Luca Reggio
Department of Computer Science, University College London
E-mail confirmado em ucl.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
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
372021
Stone duality above dimension zero: Axiomatising the algebraic theory of C (X)
V Marra, L Reggio
Advances in Mathematics 307, 253-287, 2017
362017
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
242017
The Sch\" utzenberger product for syntactic spaces
M Gehrke, D Petrisan, L Reggio
43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016
242016
Arboreal Categories and Resources
S Abramsky, L Reggio
48th International Colloquium on Automata, Languages, and Programming (ICALP …, 2021
182021
A characterisation of the category of compact Hausdorff spaces
V Marra, L Reggio
Theory and Applications of Categories 35 (51), 1871-1906, 2020
162020
On the axiomatisability of the dual of compact ordered spaces
M Abbadini, L Reggio
Applied Categorical Structures 28 (6), 921-934, 2020
142020
Polyadic sets and homomorphism counting
L Reggio
Advances in Mathematics 410, 108712, 2022
122022
Arboreal categories: An axiomatic theory of resources
S Abramsky, L Reggio
Logical Methods in Computer Science 19, 2023
72023
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
72023
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
42023
Beth definability and the Stone-Weierstrass Theorem
L Reggio
Annals of Pure and Applied Logic 172 (8), 102990, 2021
42021
Codensity, profiniteness and algebras of semiring-valued measures
L Reggio
Journal of Pure and Applied Algebra 224 (1), 181-205, 2020
42020
Finitely accessible arboreal adjunctions and Hintikka formulae
L Reggio, C Riba
arXiv preprint arXiv:2304.12709, 2023
32023
An open mapping theorem for finitely copresented Esakia spaces
SJ Gool, L Reggio
Topology and its Applications 240, 69-77, 2018
32018
Arboreal categories and equi-resource homomorphism preservation theorems
S Abramsky, L Reggio
Annals of Pure and Applied Logic, 103423, 2024
2*2024
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
22020
Filtral pretoposes and compact Hausdorff locales
C Borlido, P Karazeris, L Reggio, K Tsamis
arXiv preprint arXiv:2306.11169, 2023
12023
Barr-exact categories and soft sheaf representations
M Abbadini, L Reggio
Journal of Pure and Applied Algebra 227 (12), 107413, 2023
2023
A model category for modal logic
L Reggio
arXiv preprint arXiv:2310.12068, 2023
2023
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20