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
Electronic Proceedings in Theoretical Computer Science (EPTCS)
-
2025