Search Results - "Homotopy Type Theory"

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    Constructions with non-recursive higher inductive types

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

    Published 2016
    Subjects: “…Homotopy type theory…”
    Get full text
  2. 2
    Truncation levels in homotopy type theory

    Truncation levels in homotopy type theory by Kraus, Nicolai

    Published 2015
    Subjects: “…homotopy type theory…”
    Get full text
  3. 3
    Towards a cubical type theory without an interval

    Towards a cubical type theory without an interval by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2017
    Subjects: “…homotopy type theory…”
    Get full text
  4. 4
    Quotient types in type theory

    Quotient types in type theory by Li, Nuo

    Published 2015
    Subjects: Get full text
  5. 5
    Type theory in a type theory with quotient inductive types

    Type theory in a type theory with quotient inductive types by Kaposi, Ambrus

    Published 2017
    Subjects: Get full text
  6. 6
    Univalent higher categories via complete semi-segal types

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

    Published 2018
    Subjects: “…Homotopy type theory…”
    Get full text
  7. 7
    Extending homotopy type theory with strict equality

    Extending homotopy type theory with strict equality by Altenkirch, Thorsten, Capriotti, Paolo, Nicolai, Kraus

    Published 2016
    Subjects: “…homotopy type theory…”
    Get full text
  8. 8
    Type theory in type theory using quotient inductive types

    Type theory in type theory using quotient inductive types by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2016
    Subjects: Get full text
  9. 9
    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
    Subjects: “…homotopy type theory…”
    Get full text
  10. 10
    Higher inductive types, inductive families, and inductive-inductive types

    Higher inductive types, inductive families, and inductive-inductive types by von Raumer, Jakob

    Published 2020
    Subjects: “…Homotopy type theory…”
    Get full text
  11. 11
    Types with extra structure: predicates, equations, composition

    Types with extra structure: predicates, equations, composition by Hewer, Brandon

    Published 2024
    Subjects: Get full text
  12. 12
    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
    Subjects: “…homotopy type theory…”
    Get full text

Search Tools: