Fibred fibration categories. - Taichi Uemura (LICS, 2017)

Homotopies for Free! - Taichi Uemura (CoRR, 2017)

Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing. - Taichi Uemura (TYPES, 2018)

Cubical Assemblies and Independence of the Propositional Resizing Axiom. - Taichi Uemura (CoRR, 2018)

On Church's Thesis in Cubical Assemblies. - Andrew Swan; Taichi Uemura (CoRR, 2019)

On Church's thesis in cubical assemblies. - Andrew W. Swan; Taichi Uemura (Math. Struct. Comput. Sci., 2021)

Normalization and coherence for ∞-type theories. - Taichi Uemura (CoRR, 2022)

Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses. - Taichi Uemura (FSCD, 2023)

A general framework for the semantics of type theory. - Taichi Uemura (Math. Struct. Comput. Sci., 2023)

Higher inductive types in (∞,1)-categories. - Taichi Uemura (CoRR, 2024)