Kraus, Nicolai

1. Univalent Higher Categories via Complete Semi-Segal Types
   2017/07/12 by Capriotti, Paolo, Kraus, Nicolai · 2 citations
   #18A15 #Category Theory (math.CT) #FOS: Mathematics
2. Space-Valued Diagrams, Type-Theoretically (Extended Abstract)
   2017/04/14 by Kraus, Nicolai, Sattler, Christian · 1 citation
   #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. 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)
4. Shallow Embedding of Type Theory is Morally Correct
   2019/07/17 by Kaposi, Ambrus, Kovács, András, Kraus, Nicolai · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)