DS-2021-09: Uemura, Taichi (2021) Abstract and Concrete Type Theories. Doctoral thesis, University of Amsterdam.