Nicolai Kraus
Identifiers
- name variant Nicolai Kraus 0.60 · backfill
Papers (14)
- Generalized Decidability via Brouwer Trees cs.LO · 2026 · author #2
- The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory math.CT · 2026 · author #2
- Shallow Embedding of Type Theory is Morally Correct cs.LO · 2019 · author #3
- Path Spaces of Higher Inductive Types in Homotopy Type Theory math.LO · 2019 · author #1
- Univalent Higher Categories via Complete Semi-Segal Types math.CT · 2017 · author #2
- Two-Level Type Theory and Applications cs.LO · 2017 · author #3
- Space-Valued Diagrams, Type-Theoretically (Extended Abstract) math.LO · 2017 · author #1
- Quotient inductive-inductive types cs.LO · 2016 · author #4
- Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type cs.LO · 2016 · author #3
- Notions of Anonymous Existence in Martin-L\"of Type Theory cs.LO · 2016 · author #1
- Extending Homotopy Type Theory with Strict Equality cs.LO · 2016 · author #3
- Functions out of Higher Truncations cs.LO · 2015 · author #2
- The General Universal Property of the Propositional Truncation math.LO · 2014 · author #1
- Higher Homotopies in a Hierarchy of Univalent Universes math.LO · 2013 · author #1
Mentions
- 2601.21843 #2 · arxiv_oai · confidence 0.70 Nicolai Kraus
- 1507.01150 #2 · backfill · confidence 0.70 Nicolai Kraus
- 1411.2682 #1 · backfill · confidence 0.70 Nicolai Kraus
- 1311.4002 #1 · backfill · confidence 0.70 Nicolai Kraus
- 1705.03307 #3 · arxiv_oai · confidence 0.70 Nicolai Kraus
Frequent Coauthors
- Paolo Capriotti 5 shared papers
- Thorsten Altenkirch 4 shared papers
- Christian Sattler 3 shared papers
- Fredrik Nordvall Forsberg 2 shared papers
- Tom de Jong 2 shared papers
- Ambrus Kaposi 1 shared papers
- Andr\'as Kov\'acs 1 shared papers
- Andrea Vezzosi 1 shared papers
- Aref Mohammadzadeh 1 shared papers
- Axel Ljungstr\"om 1 shared papers
- Danil Annenkov 1 shared papers
- Gabe Dijkstra 1 shared papers
- Jakob von Raumer 1 shared papers
- Mart\'in Escard\'o 1 shared papers
- Nils Anders Danielsson 1 shared papers
- Thierry Coquand 1 shared papers