von Raumer, Jakob
- Path Spaces of Higher Inductive Types in Homotopy Type Theory
2019/01/17 by Kraus, Nicolai, von Raumer, Jakob · 1 citation
#03B15 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)