For best experience please turn on javascript and use a modern browser!
NL

Mr T. (Taichi) Uemura MSc

Faculty of Science
ILLC

Visiting address
  • Science Park 107
  • Room number:
Postal address
Contact details
Social media
  • Publications

    2018

    • Uemura, T. (2018). Cubical Assemblies and the Independence of the Propositional Resizing Axiom. Abstract from Workshop on Homotopy Type Theory/ Univalent Foundations, Oxford, United Kingdom.
    • Uemura, T. (2018). Cubical Assemblies and the Independence of the Propositional Resizing Axiom. Abstract from 24th International Conference on Types for Proofs and Programs, Braga, Portugal.
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library  or the Pure staff  of your faculty / institute. Log in to Pure  to edit your publications. Log in to Personal Page Publication Selection tool  to manage the visibility of your publications on this list.
  • Ancillary activities
    • No ancillary activities