Taichi Uemura

According to our database, Taichi Uemura authored at least 10 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Higher inductive types in (∞,1)-categories.

Taichi Uemura

CoRR, 2024

2023

A general framework for the semantics of type theory.

Taichi Uemura

Math. Struct. Comput. Sci., 2023

Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses.

Taichi Uemura

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Normalization and coherence for ∞-type theories.

Taichi Uemura

CoRR, 2022

2021

On Church's thesis in cubical assemblies.

Andrew W. Swan, Taichi Uemura

Math. Struct. Comput. Sci., 2021

2019

On Church's Thesis in Cubical Assemblies.

Andrew Swan, Taichi Uemura

CoRR, 2019

2018

Cubical Assemblies and Independence of the Propositional Resizing Axiom.

Taichi Uemura

CoRR, 2018

Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing.

Taichi Uemura

Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

2017

Homotopies for Free!

Taichi Uemura

CoRR, 2017

Fibred fibration categories.

Taichi Uemura

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017