Abstracting models of strong normalization for classical calculi (Q2291828)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abstracting models of strong normalization for classical calculi
scientific article

    Statements

    Abstracting models of strong normalization for classical calculi (English)
    0 references
    0 references
    0 references
    0 references
    31 January 2020
    0 references
    strong normalization
    0 references
    calling convention
    0 references
    biorthogonality
    0 references
    symmetric candidates
    0 references
    sequent calculus
    0 references

    Identifiers

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