No label defined (Q4362917)

From MaRDI portal
scientific article; zbMATH DE number 1086667
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1086667

    Statements

    0 references
    13 November 1997
    0 references
    rewriting
    0 references
    reducibility
    0 references
    term normalization
    0 references
    eta-expansions
    0 references
    higher order polymorphic \(\lambda\)-calculus
    0 references

    Identifiers