Nicolai Kraus

Available identifiers

zbMath Open kraus.nicolaiMaRDI QIDQ1652994

List of research outcomes

Publication	Date of Publication	Type
Two-level type theory and applications	2024-03-05	Paper
Two-level type theory and applications - ERRATUM	2024-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q6079232	2023-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q6168488	2023-08-08	Paper
Type-theoretic approaches to ordinals	2023-04-27	Paper
A rewriting coherence theorem with applications in homotopy type theory	2023-02-28	Paper
Set-Theoretic and Type-Theoretic Ordinals Coincide	2023-01-25	Paper
Type-Theoretic Approaches to Ordinals	2022-08-07	Paper
A Rewriting Coherence Theorem with Applications in Homotopy Type Theory	2021-07-04	Paper
Coherence via Well-Foundedness	2021-01-21	Paper
Free Higher Groups in Homotopy Type Theory	2021-01-20	Paper
Internal $\infty$-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT	2020-09-03	Paper
Shallow embedding of type theory is morally correct	2020-05-05	Paper
Path Spaces of Higher Inductive Types in Homotopy Type Theory	2019-01-17	Paper
Quotient inductive-inductive types	2018-07-17	Paper
Constructions with Non-Recursive Higher Inductive Types	2018-04-23	Paper
Functions out of Higher Truncations	2017-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q5278407	2017-07-19	Paper
The General Universal Property of the Propositional Truncation	2017-07-12	Paper
Univalent Higher Categories via Complete Semi-Segal Types	2017-07-12	Paper
Partiality, Revisited	2017-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q2980980	2017-05-08	Paper
Space-Valued Diagrams, Type-Theoretically (Extended Abstract)	2017-04-14	Paper
Higher Homotopies in a Hierarchy of Univalent Universes	2017-01-27	Paper
Generalizations of Hedberg’s Theorem	2013-06-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicolai Kraus