Reggio Luca
Ricercatore a Tempo Determinato (B)
Settore scientifico-disciplinare
MATH-01/A - Logica matematica
Gruppo scientifico-disciplinare / settore concorsuale
01/MATH-01 - LOGICA MATEMATICA, DIDATTICA E STORIA DELLA MATEMATICA
Competenze e ambito di ricerca
Office hours
Su appuntamento
Luogo di ricevimento
Dipartimento di Matematica - Ufficio 2107
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]