Universiteit van Amsterdam

Taichi Uemura receives best student paper award at Conference on Homotopy Type Theory

At the Conference on Homotopy Type Theory which took place last August in Pittsburgh, Taichi Uemura won the Best Student Paper Award for his work on the semantics of type theory.

For more information, see https://hott.github.io/HoTT-2019/programme/ or contact Taichi Uemura at .