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

Mr T. (Taichi) Uemura MSc

Faculty of Science
ILLC

Visiting address
  • Science Park 107
Postal address
Contact details
  • Publications

    2019

    • Uemura, T. (2019). Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing. Leibniz International Proceedings in Informatics, 130, [7]. https://doi.org/10.4230/LIPIcs.TYPES.2018.7

    2019

    • Swan, A. W., & Uemura, T. (2019). On Church's Thesis in Cubical Assemblies. Manuscript submitted for publication.

    2019

    • Uemura, T. (2019). A General Framework for Categorical Semantics of Type Theory. Abstract from Category Theory 2019, Edinburgh, United Kingdom.
    • Uemura, T. (2019). A General Framework for the Semantics of Type Theory. Abstract from 25th International Conference on Types for Proofs and Programs, Oslo, Norway.
    • Uemura, T. (2019). A General Framework for the Semantics of Type Theory. Abstract from Homotopy Type Theory 2019, Pittsburgh, United States.
    • Uemura, T. (2019). Cubical Assembly Models of Homotopy Type Theory. Abstract from Homotopy type theory and univalent foundations, Oslo, Norway.

    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.

    Award

    • Uemura, T. (2019). Best Student Paper Award.
    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