Search Results - "Type Theory"

  • Showing 1 - 20 results of 20
Refine Results
  1. 1
    Quotient types in type theory

    Quotient types in type theory by Li, Nuo

    Published 2015
    Subjects: “…Type Theory…”
    Get full text
  2. 2
    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
  3. 3
    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
  4. 4
    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
  5. 5
    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
  6. 6
    Truncation levels in homotopy type theory

    Truncation levels in homotopy type theory by Kraus, Nicolai

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

    A functional specification of effects by Swierstra, Wouter

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

    Bootstrapping extensionality by Sestini, Filippo

    Published 2023
    Subjects: “…type theory…”
    Get full text
  10. 10
    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
  11. 11
    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
  12. 12
    Agent-Based Logics in Dependent Type Theory

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

    Published 2025
    Subjects: Get full text
  13. 13
    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
  14. 14
    Normalisation by evaluation for dependent types

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

    Published 2016
    Subjects: Get full text
  15. 15
    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
  16. 16
    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
  17. 17
    The continuity of monadic stream functions

    The continuity of monadic stream functions by Capretta, Venanzio, Fowler, Jonathan

    Published 2017
    Subjects: Get full text
  18. 18
    The continuity of monadic stream functions

    The continuity of monadic stream functions by Capretta, Venanzio, Fowler, Jonathan

    Published 2017
    Subjects: Get full text
  19. 19
    A framework for relating, implementing and verifying argumentation models and their translations

    A framework for relating, implementing and verifying argumentation models and their translations by van Gijzel, Bas

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