Taichi Uemura

Publications

• ∞-Type Theories. Hoang Kim Nguyen, Taichi Uemura. 2022.
• On Church's Thesis in Cubical Assemblies. Andrew Swan, Taichi Uemura. 2019.
• A General Framework for the Semantics of Type Theory. Taichi Uemura. 2019.
• Homotopies for Free!. Taichi Uemura. 2017.