Giacomo Barlucchi
About Giacomo Barlucchi
PhD student in logic. Currently working on closure ordinals for the modal mu-calculus and cyclic arithmetic.
PhD student in logic. Currently working on closure ordinals for the modal mu-calculus and cyclic arithmetic.
Bahareh Afshari,
Giacomo Barlucchi,
Graham Leigh
Proceedings Twelfth Workshop on Fixed Points in Computer Science (FICS 2024), Naples, Italy, 19-20th February 2024, Electronic Proceedings in Theoretical Computer Science 435 / Alexis Saurin (ed.)
-
2025