Reggio Luca
Fixed-term Research Fellow B
Scientific-Disciplinary Sector
MATH-01/A - Mathematical Logic
Scientific-Disciplinary Group/Competition Sector
01/MATH-01 - LOGICA MATEMATICA, DIDATTICA E STORIA DELLA MATEMATICA
Research fields and competencies
Teaching - Programme courses
Research
Publications
-
Filtral pretoposes and compact Hausdorff locales / C. Borlido, P. Karazeris, L. Reggio, K. Tsamis. - In: THEORY AND APPLICATIONS OF CATEGORIES. - ISSN 1201-561X. - 41:(2024 Oct 10), pp. 1439-1475.
-
An Invitation to Game Comonads / S. Abramsky, L. Reggio. - In: SIGLOG NEWS. - ISSN 2372-3491. - 11:3(2024), pp. 5-48. [10.1145/3687256.3687260]
-
Arboreal categories and equi-resource homomorphism preservation theorems / S. Abramsky, L. Reggio. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 175:6(2024), pp. 103423.1-103423.41. [10.1016/j.apal.2024.103423]
-
Arboreal categories: An axiomatic theory of resources / S. Abramsky, L. Reggio. - In: LOGICAL METHODS IN COMPUTER SCIENCE. - ISSN 1860-5974. - 19:3(2023 Aug 10), pp. 14.1-14.36. [10.46298/lmcs-19(3:14)2023]
-
Model completions for universal classes of algebras: necessary and sufficient conditions / G. Metcalfe, L. Reggio. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - 88:1(2023 Mar), pp. PII S0022481222000019.381-PII S0022481222000019.417. [10.1017/jsl.2022.1]