Search Results - Kraus, Nicolai

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Truncation levels in homotopy type theory

    Truncation levels in homotopy type theory by Kraus, Nicolai

    Published 2015
    Get full text
  2. 2
    Constructions with non-recursive higher inductive types

    Constructions with non-recursive higher inductive types by Kraus, Nicolai

    Published 2016
    Get full text
  3. 3
    Free higher groups in homotopy type theory

    Free higher groups in homotopy type theory by Kraus, Nicolai, Altenkirch, Thorsten

    Published 2018
    Get full text
  4. 4
    Univalent higher categories via complete semi-segal types

    Univalent higher categories via complete semi-segal types by Capriotti, Paolo, Kraus, Nicolai

    Published 2018
    Get full text
  5. 5
    Partiality, revisited: the partiality monad as a quotient inductive-inductive type

    Partiality, revisited: the partiality monad as a quotient inductive-inductive type by Altenkirch, Thorsten, Danielson, Nils Anders, Kraus, Nicolai

    Published 2016
    Get full text
  6. 6
    Partiality, revisited: the partiality monad as a quotient inductive-inductive type

    Partiality, revisited: the partiality monad as a quotient inductive-inductive type by Altenkirch, Thorsten, Danielsson, Nils Anders, Kraus, Nicolai

    Published 2017
    Get full text
  7. 7
    Notions of anonymous existence in Martin-Löf type theory

    Notions of anonymous existence in Martin-Löf type theory by Kraus, Nicolai, Escardo, Martin, Coquand, Thierry, Altenkirch, Thorsten

    Published 2016
    Get full text

Search Tools: