About Theofanis Chatzidiamantis

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

Lists

Timeline

tcc has no activity yet