• Login
• Admin

Article

Capriotti, Paolo and Kraus, Nicolai (2018) Univalent higher categories via complete semi-segal types. Proceedings of the ACM on Programming Languages, 2 (POPL). 44:1-44:29. ISSN 2475-1421

Altenkirch, Thorsten, Danielsson, Nils Anders and Kraus, Nicolai (2017) Partiality, revisited: the partiality monad as a quotient inductive-inductive type. Lecture Notes in Computer Science, 10203 . pp. 534-549. ISSN 0302-9743

Kraus, Nicolai, Escardo, Martin, Coquand, Thierry and Altenkirch, Thorsten (2016) Notions of anonymous existence in Martin-Löf type theory. Logical Methods in Computer Science . ISSN 1860-5974 (In Press)

Conference or Workshop Item

Kraus, Nicolai and Altenkirch, Thorsten (2018) Free higher groups in homotopy type theory. In: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 9–12 July 2018, Oxford, England.

Altenkirch, Thorsten, Danielson, Nils Anders and Kraus, Nicolai (2016) Partiality, revisited: the partiality monad as a quotient inductive-inductive type. In: FoSSaCs 2017, 24-29 April 2017, Uppsala, Sweden. (In Press)

Kraus, Nicolai (2016) Constructions with non-recursive higher inductive types. In: Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), July 5–8, 2016, New York City, USA. (In Press)

Thesis (University of Nottingham only)

Kraus, Nicolai (2015) Truncation levels in homotopy type theory. PhD thesis, University of Nottingham.