pith. sign in

Nicolai Kraus

Identifiers

  • name variant Nicolai Kraus 0.60 · backfill

Papers (14)

  1. Generalized Decidability via Brouwer Trees cs.LO · 2026 · author #2
  2. The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory math.CT · 2026 · author #2
  3. Shallow Embedding of Type Theory is Morally Correct cs.LO · 2019 · author #3
  4. Path Spaces of Higher Inductive Types in Homotopy Type Theory math.LO · 2019 · author #1
  5. Univalent Higher Categories via Complete Semi-Segal Types math.CT · 2017 · author #2
  6. Two-Level Type Theory and Applications cs.LO · 2017 · author #3
  7. Space-Valued Diagrams, Type-Theoretically (Extended Abstract) math.LO · 2017 · author #1
  8. Quotient inductive-inductive types cs.LO · 2016 · author #4
  9. Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type cs.LO · 2016 · author #3
  10. Notions of Anonymous Existence in Martin-L\"of Type Theory cs.LO · 2016 · author #1
  11. Extending Homotopy Type Theory with Strict Equality cs.LO · 2016 · author #3
  12. Functions out of Higher Truncations cs.LO · 2015 · author #2
  13. The General Universal Property of the Propositional Truncation math.LO · 2014 · author #1
  14. 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