Anders Mörtberg
- Cubical Type Theory: a constructive interpretation of the univalence axiom
2016/11/07 by Cyril Cohen, Thierry Coquand, Cohen, Cyril +5 · 16 citations
Computer Science · Mathematics · Psychology · #Advanced Topology and Set Theory #F.3.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Philosophy and Theoretical Science