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.

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

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)

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. (In Press)

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 (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.

This list was generated on Thu Jul 19 22:28:25 2018 UTC.