Taichi Uemura

14 papers A* 1B 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Homotopy type theory as a language for diagrams of $\infty$-logoses.
Log. Methods Comput. Sci.
Taichi Uemura
2025 — conf
Tripos and Topos Theory for Fuzzy Logic: Baaz Δ Translation as Lawvere-Tierney Cotopology and Higher-Order Hyperdoctrinal Completion.
FUZZ
Yoshihiro Maruyama, Satoshi Nakata, Taichi Uemura, Takeo Uramoto, Arisa Yasuda
2024 J jnl
Higher inductive types in (∞,1)-categories.
CoRR
Taichi Uemura
2023 J jnl
A general framework for the semantics of type theory.
Math. Struct. Comput. Sci.
Taichi Uemura
2023 B conf
Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses.
FSCD
Taichi Uemura
2022 J jnl
Homotopy type theory as internal languages of diagrams of ∞-logoses.
CoRR
Taichi Uemura
2022 J jnl
Normalization and coherence for ∞-type theories.
CoRR
Taichi Uemura
2021 J jnl
On Church's thesis in cubical assemblies.
Math. Struct. Comput. Sci.
Andrew W. Swan, Taichi Uemura
2019 J jnl
A General Framework for the Semantics of Type Theory.
CoRR
Taichi Uemura
2019 J jnl
On Church's Thesis in Cubical Assemblies.
CoRR
Andrew Swan, Taichi Uemura
2018 J jnl
Cubical Assemblies and Independence of the Propositional Resizing Axiom.
CoRR
Taichi Uemura
2018 — conf
Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing.
TYPES
Taichi Uemura
2017 A* conf
Fibred fibration categories.
LICS
Taichi Uemura
2017 J jnl
Homotopies for Free!
CoRR
Taichi Uemura