Normalization in the simply typed -calculus (Q5889885)

From MaRDI portal
scientific article; zbMATH DE number 7680179
Language Label Description Also known as
English
Normalization in the simply typed -calculus
scientific article; zbMATH DE number 7680179

    Statements

    Normalization in the simply typed -calculus (English)
    0 references
    0 references
    0 references
    27 April 2023
    0 references
    \(\lambda\mu\)-calculus
    0 references
    classical logic
    0 references
    strong normalization
    0 references
    weak normalization
    0 references
    normalization algorithm
    0 references

    Identifiers