Constructive sets in computable sets (Q1372877)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Constructive sets in computable sets
scientific article

    Statements

    Constructive sets in computable sets (English)
    0 references
    0 references
    13 January 1998
    0 references
    \(\omega\)-set
    0 references
    constructive set theory
    0 references
    CZF
    0 references
    Martin-Löf's type theory
    0 references
    identity types
    0 references
    intensional type theory
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references