vix.ing · top · new · best · stats · spec

Program, The Univalent Foundations

  1. Homotopy Type Theory: Univalent Foundations of Mathematics
    2013/08/03 by Program, The Univalent Foundations · 16 citations
    #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Programming Languages (cs.PL)