Constructing Higher Inductive Types as Groupoid Quotients (Q5145692)

From MaRDI portal
scientific article; zbMATH DE number 7299523
Language Label Description Also known as
English
Constructing Higher Inductive Types as Groupoid Quotients
scientific article; zbMATH DE number 7299523

    Statements

    Constructing Higher Inductive Types as Groupoid Quotients (English)
    0 references
    21 January 2021
    0 references
    Coq
    0 references
    bicategories
    0 references
    higher inductive types
    0 references
    homotopy type theory
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references