Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cut-elimination in the strict intersection type assignment system is strongly normalizing
scientific article

    Statements

    Cut-elimination in the strict intersection type assignment system is strongly normalizing (English)
    0 references
    0 references
    6 July 2005
    0 references
    cut-elimination
    0 references
    lambda calculus
    0 references
    termination
    0 references
    strong normalization
    0 references
    approximation theorem
    0 references
    intersection types
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers