Strong normalization property for second order linear logic (Q1044837)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Strong normalization property for second order linear logic
scientific article

    Statements

    Strong normalization property for second order linear logic (English)
    0 references
    0 references
    15 December 2009
    0 references
    0 references
    weak normalization
    0 references
    confluence
    0 references
    standardization
    0 references
    linear logic
    0 references
    proof-nets
    0 references
    additive connectives
    0 references
    sliced pure structures
    0 references
    0 references