Taichi Uemura
Ph.D. Universiteit van Amsterdam 2021
Dissertation:
Abstract and concrete type theories
Advisor 1: Sonja Smets
Advisor 2: Benno van den Berg
Advisor 3: Thomas Streicher
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 327694 for the advisor ID.