Uncurrying for Termination (Q5505588)

From MaRDI portal
scientific article; zbMATH DE number 5498374
Language Label Description Also known as
English
Uncurrying for Termination
scientific article; zbMATH DE number 5498374

    Statements

    Identifiers