Complete Types in an Extension of the System <i>AF</i>2 (Q3647204)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Complete Types in an Extension of the System <i>AF</i>2
scientific article

    Statements

    Complete Types in an Extension of the System <i>AF</i>2 (English)
    0 references
    0 references
    0 references
    30 November 2009
    0 references
    system \({\mathcal A}{\mathcal F}2\)
    0 references
    type with positive quantifier
    0 references
    complete type
    0 references
    typed lambda-calculus
    0 references
    second-order functional arithmetic
    0 references

    Identifiers