Taichi Uemura

Introduction

Research Interests

  • Categorical semantics of type theory
  • Homotopy type theory
  • Category theory

Publications and Preprints

  1. On Church's Thesis in Cubical Assemblies. with Andrew Swan. Preprint, 2019. arXiv:1905.03014
  2. A General Framework for the Semantics of Type Theory. Preprint, 2019. arXiv:1904.04097
  3. Cubical Assemblies and the Independence of the Propositional Resizing Axiom. Preprint, 2018. arXiv:1803.06649
  4. Fibred Fibration Categories. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017. doi: 10.1109/LICS.2017.8005084 arXiv:1602.08206
  5. Homotopies for Free! Preprint, 2017. arXiv:1701.07937

Talks

Awards

Misc

Author: Taichi Uemura

Created: 2019-09-19 Thu 09:49