A modern rigorous approach to stratification in NF/NFU (Q2084571)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A modern rigorous approach to stratification in NF/NFU
scientific article

    Statements

    A modern rigorous approach to stratification in NF/NFU (English)
    0 references
    0 references
    0 references
    18 October 2022
    0 references
    new foundations
    0 references
    stratification
    0 references
    abstraction terms
    0 references
    type theory
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references