Search Results - "type theory"

Refine Results
  1. 1
    Normalisation by evaluation for type theory, in type theory

    Normalisation by evaluation for type theory, in type theory by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2017
    Subjects: “…normalisation by evaluation; dependent types; internal type theory; logical relations; Agda…”
    Get full text
  2. 2
    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
  3. 3
    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: “…type theory…”
    Get full text
  4. 4
    Quotient types in type theory

    Quotient types in type theory by Li, Nuo

    Published 2015
    Subjects: “…Type Theory…”
    Get full text
  5. 5
    Truncation levels in homotopy type theory

    Truncation levels in homotopy type theory by Kraus, Nicolai

    Published 2015
    Subjects: “…homotopy type theory…”
    Get full text
  6. 6
    Models of type theory with strict equality

    Models of type theory with strict equality by Capriotti, Paolo

    Published 2017
    “…This thesis introduces the idea of two-level type theory, an extension of Martin-Löf type theory that adds a notion of strict equality as an internal primitive. …”
    Get full text
  7. 7
    Twisted Cubes and their Applications in Type Theory

    Twisted Cubes and their Applications in Type Theory by Pinyo, Gun

    Published 2023
    “…This thesis captures the ongoing development of twisted cubes, which is a modification of cubes (in a topological sense) where its homotopy type theory does not require paths or higher paths to be invertible. …”
    Get full text
  8. 8
    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
  9. 9
    Free higher groups in homotopy type theory

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

    Published 2018
    “…Given a type A in homotopy type theory (HoTT), we can define the free ∞-group on A as the higher inductive type F (A)with constructors unit: F(A),cons : A → F(A) → F(A), and conditions saying that every cons(a)is an auto-equivalence on F(A). …”
    Get full text
  10. 10
    Agent-Based Logics in Dependent Type Theory

    Agent-Based Logics in Dependent Type Theory by Baston, Colm

    Published 2025
    Subjects: Get full text
  11. 11
    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
  12. 12
    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
  13. 13
    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
  14. 14
    Types with extra structure: predicates, equations, composition

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

    Published 2024
    Subjects: “…type theory…”
    Get full text
  15. 15
    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
  16. 16
    A functional specification of effects

    A functional specification of effects by Swierstra, Wouter

    Published 2009
    Subjects: Get full text
  17. 17
    Bootstrapping extensionality

    Bootstrapping extensionality by Sestini, Filippo

    Published 2023
    Subjects: “…type theory…”
    Get full text
  18. 18
    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
  19. 19
    Normalisation by evaluation for dependent types

    Normalisation by evaluation for dependent types by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2016
    Subjects: Get full text
  20. 20
    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

Search Tools: