Warren, Michael A.
- Voevodsky's Univalence Axiom in homotopy type theory
2013/02/19 by Awodey, Steve, Pelayo, Álvaro, Warren, Michael A. · 2 citations
#FOS: Mathematics #History and Overview (math.HO) #Logic (math.LO)
- Homotopy type theory and Voevodsky's univalent foundations
2012/10/20 by Pelayo, Álvaro, Warren, Michael A. · 2 citations
#Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)