Search Results - "Higher Inductive Types"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    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: “…Higher Inductive Types…”
    Get full text
  2. 2
    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: Get full text

Search Tools: