About Theofanis Chatzidiamantis

PhD student at the University of Western Ontario, interested in mathematical logic and homotopy (type) theory.

Lists

Timeline

{username} has no activity yet