Quotient topologies in constructive set theory and type theory (Q2498911)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quotient topologies in constructive set theory and type theory
scientific article

    Statements

    Quotient topologies in constructive set theory and type theory (English)
    0 references
    0 references
    0 references
    16 August 2006
    0 references
    0 references
    0 references
    0 references
    0 references
    quotient spaces
    0 references
    constructive topology
    0 references
    Martin-Löf type theory
    0 references
    constructive set theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references