Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 2
Number of items: 2
  • Open Access
    Uemura, T. (2021). Abstract and concrete type theories. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Uemura, T. (2019). Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing. In P. Dybjer, J. Espírito Santo, & L. Pinto (Eds.), 24th International Conference on Types for Proofs and Programs: TYPES 2018, June 18-21, 2018, Braga, Portugal Article 7 (Leibniz International Proceedings in Informatics; Vol. 130). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.TYPES.2018.7
Page of