Hou, Kuen-Bang

1. A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory
   2016/05/10 by Kuen-Bang Hou, Hou, Kuen-Bang, Eric Finster +5 · 4 citations
   Computer Science · Mathematics · #03B15 (Higher-order logic and type theory) #03B70 (Logic in computer science) #55U35 (Abstract and axiomatic homotopy theory) #Algebraic Topology (math.AT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
2. Computational Higher Type Theory III: Univalent Universes and Exact Equality
   2017/12/05 by Angiuli, Carlo, Hou, Kuen-Bang, Harper, Robert · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)