Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 7.

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.

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 and 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

Altenkirch, Thorsten and 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 and Escardo, Martin and 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)

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)

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

This list was generated on Mon May 17 22:59:31 2021 UTC.