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
  • Publications

    2018

    • 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.
    • 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.
    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