The following pages link to Nicolai Kraus (Q1652994):
Displaying 20 items.
- Quotient inductive-inductive types (Q1652995) (← links)
- Shallow embedding of type theory is morally correct (Q2176685) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Higher Homotopies in a Hierarchy of Univalent Universes (Q2957700) (← links)
- (Q2980980) (← links)
- Partiality, Revisited (Q2988390) (← links)
- Constructions with Non-Recursive Higher Inductive Types (Q4635920) (← links)
- Free Higher Groups in Homotopy Type Theory (Q5145336) (← links)
- Coherence via Well-Foundedness (Q5145671) (← links)
- The General Universal Property of the Propositional Truncation (Q5277974) (← links)
- (Q5278407) (← links)
- Generalizations of Hedberg’s Theorem (Q5300901) (← links)
- Functions out of Higher Truncations (Q5351968) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
- (Q6079232) (← links)
- Two-level type theory and applications (Q6149950) (← links)
- Two-level type theory and applications - ERRATUM (Q6149963) (← links)
- (Q6168488) (← links)
- Path spaces of higher inductive types in homotopy type theory (Q6654472) (← links)
- Ordinal Exponentiation in Homotopy Type Theory (Q6764504) (← links)