Taichi Uemura

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

Theoretical Basis

Top Venues

Math. Struct. Comput. Sci.

Publications

Taichi Uemura
A general framework for the semantics of type theory. Math. Struct. Comput. Sci. 33 (3) (2023)
Taichi Uemura
Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses. FSCD (2023)
Taichi Uemura
Normalization and coherence for ∞-type theories. CoRR (2022)
Taichi Uemura
Homotopy type theory as internal languages of diagrams of ∞-logoses. CoRR (2022)
Andrew W. Swan, Taichi Uemura
On Church's thesis in cubical assemblies. Math. Struct. Comput. Sci. 31 (10) (2021)
Andrew Swan, Taichi Uemura
On Church's Thesis in Cubical Assemblies. CoRR (2019)
Taichi Uemura
A General Framework for the Semantics of Type Theory. CoRR (2019)
Taichi Uemura
Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing. TYPES (2018)
Taichi Uemura
Cubical Assemblies and Independence of the Propositional Resizing Axiom. CoRR (2018)
Taichi Uemura
Homotopies for Free! CoRR (2017)
Taichi Uemura
Fibred fibration categories. LICS (2017)