Products of families of types and (Pi,lambda)-structures on C-systems (Q2953831)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Products of families of types and (Pi,lambda)-structures on C-systems
scientific article

    Statements

    0 references
    6 January 2017
    0 references
    type theory
    0 references
    contextual category
    0 references
    dependent product
    0 references
    math.CT
    0 references

    Identifiers

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