Taichi Uemura

1. Normalization and coherence for ∞-type theories
   2022/12/22 by Taichi Uemura, Uemura, Taichi · 1 citation
   Mathematics · #03B38 (Primary) 18N60 (Secondary) #Advanced Topology and Set Theory #Algebraic structures and combinatorial models #Category Theory (math.CT) #F.3.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic in Computer Science (cs.LO)