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.